The complementation problem for Büchi automata with applications to temporal logic
- A. Prasad Sistla
- Moshe Y. Vardi
- et al.
- 1987
- Theoretical Computer Science
Publications
Date
Featured collections
Popular topics
8905 results for Computer Science
Discrete logarithms in GF(p)
- Don Coppersmith
- Andrew M. Odlzyko
- et al.
- 1986
- Algorithmica
Introduction: New approaches to linear programming
- Nimrod Megiddo
- 1986
- Algorithmica
On some union and intersection problems for polygons with fixed orientations
- P. Widmayer
- Y.F. Wu
- et al.
- 1986
- Computing
Optimization of electromagnetic actuator performance for high-speed valves
- J. Karidis
- S.R. Turns
- 1986
- Journal of Mechanical Design, Transactions of the ASME
Efficient optimization of computationally expensive objective functions
- J. Karidis
- S.R. Turns
- 1986
- Journal of Mechanical Design, Transactions of the ASME
Limits for automatic verification of finite-state concurrent systems
- Krzysztof R. Apt
- Dexter C. Kozen
- 1986
- Information Processing Letters
A simple characterization of database dependency implication
- Yoshito Hanatani
- Ronald Fagin
- 1986
- Information Processing Letters
Multi-dimensional discretization scheme for the hydrodynamic model of semiconductor devices
- M. Rudan
- F. Odeh
- 1986
- COMPEL - The international journal for computation and mathematics in electrical and electronic engineering
Two results on tables
- Christiaan T.M. Jacobs
- Peter Van Emde Boas
- 1986
- Information Processing Letters