Dexter Kozen
Cornell University(US)
Publications by Year
Research Areas
Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Formal Methods in Verification, semigroups and automata theory, Advanced Algebra and Logic
Most-Cited Works
- → Results on the propositional μ-calculus(1983)1,809 cited
- Dynamic Logic(2000)
- → Alternation(1981)1,201 cited
- → A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events(1994)622 cited
- → Kleene algebra with tests(1997)512 cited
- → Semantics of probabilistic programs(1981)497 cited
- → The Design and Analysis of Algorithms(1992)455 cited
- →