Semantics of probabilistic programs
- Dexter Kozen
- 1981
- Journal of Computer and System Sciences
Paper
Publications
18 results for Dexter Kozen
An elementary proof of the completeness of PDL
- Dexter Kozen
- Rohit Parikh
- 1981
- Theoretical Computer Science
PaperAlternation
- Ashok K. Chandra
- Dexter C. Kozen
- et al.
- 1981
- Journal of the ACM
PaperProcess logic: Expressiveness, decidability, completeness
- David Harel
- Dexter Kozen
- et al.
- 1980
- FOCS 1980
Conference paperIndexings of subrecursive classes
- Dexter Kozen
- 1980
- Theoretical Computer Science
PaperComplexity of Boolean algebras
- Dexter Kozen
- 1980
- Theoretical Computer Science
PaperSemantics of probabilistic programs
- Dexter Kozen
- 1979
- FOCS 1979
Conference paperLower bounds for natural proof systems
- Dexter Kozen
- 1977
- FOCS 1977
Conference paper