The complexity of elementary algebra and geometry
- Michael Ben-Or
- Dexter Kozen
- et al.
- 1986
- Journal of Computer and System Sciences
Publications
Date
Featured collections
Popular topics
113 results at Journal of Computer and System Sciences
On the possibility and impossibility of achieving clock synchronization
- Danny Dolev
- Joseph Y. Halpern
- et al.
- 1986
- Journal of Computer and System Sciences
Automata-theoretic techniques for modal logics of programs
- Moshe Y. Vardi
- Pierre Wolper
- 1986
- Journal of Computer and System Sciences
Querying logical databases
- Moshe Y. Vardi
- 1986
- Journal of Computer and System Sciences
Probabilistic counting algorithms for data base applications
- Philippe Flajolet
- G. Nigel Martin
- 1985
- Journal of Computer and System Sciences
A probabilistic PDL
- Dexter Kozen
- 1985
- Journal of Computer and System Sciences
Unbounded fan-in circuits and associative functions
- Ashok K. Chandra
- Steven Fortune
- et al.
- 1985
- Journal of Computer and System Sciences
Decision procedures and expressiveness in the temporal logic of branching time
- E.Allen Emerson
- Joseph Y. Halpern
- 1985
- Journal of Computer and System Sciences
Inclusion dependencies and their interaction with functional dependencies
- Marco A. Casanova
- Ronald Fagin
- et al.
- 1984
- Journal of Computer and System Sciences
Recursion and iteration in continuous theories: The "M-construction"
- Stephen L. Bloom
- James W. Thatcher
- et al.
- 1983
- Journal of Computer and System Sciences