Alternation
- Ashok K. Chandra
- Dexter C. Kozen
- et al.
- 1981
- Journal of the ACM
Publications
Date
Featured collections
Popular topics
18 results for Dexter Kozen
Rabin measures and their applications to fairness and automata theory
- Nils Klarlund
- Dexter Kozen
- 1991
- LICS 1991
The complexity of elementary algebra and geometry (preliminary version)
- Michael Ben-Or
- Dexter Kozen
- et al.
- 1984
- STOC 1984
Pebblings, edgings, and equational logic
- Dexter Kozen
- 1984
- STOC 1984
Process logic: Expressiveness, decidability, completeness
- David Harel
- Dexter Kozen
- et al.
- 1980
- FOCS 1980
Semantics of probabilistic programs
- Dexter Kozen
- 1979
- FOCS 1979
Lower bounds for natural proof systems
- Dexter Kozen
- 1977
- FOCS 1977
Decidability of systems of set constraints with negative constraints
- Alexander Aiken
- Dexter Kozen
- et al.
- 1995
- Information and Computation
Limits for automatic verification of finite-state concurrent systems
- Krzysztof R. Apt
- Dexter C. Kozen
- 1986
- Information Processing Letters
The complexity of elementary algebra and geometry
- Michael Ben-Or
- Dexter Kozen
- et al.
- 1986
- Journal of Computer and System Sciences