An elementary proof of the completeness of PDL
- Dexter Kozen
- Rohit Parikh
- 1981
- Theoretical Computer Science
Publications
Date
Featured collections
Popular topics
18 results for Dexter Kozen
Alternation
- Ashok K. Chandra
- Dexter C. Kozen
- et al.
- 1981
- Journal of the ACM
Semantics of probabilistic programs
- Dexter Kozen
- 1981
- Journal of Computer and System Sciences
Process logic: Expressiveness, decidability, completeness
- David Harel
- Dexter Kozen
- et al.
- 1980
- FOCS 1980
Indexings of subrecursive classes
- Dexter Kozen
- 1980
- Theoretical Computer Science
Complexity of Boolean algebras
- Dexter Kozen
- 1980
- Theoretical Computer Science
Semantics of probabilistic programs
- Dexter Kozen
- 1979
- FOCS 1979
Lower bounds for natural proof systems
- Dexter Kozen
- 1977
- FOCS 1977