Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
Share This Author
Results on the Propositional mu-Calculus
- D. Kozen
- MathematicsTheor. Comput. Sci.
- 1983
Dynamic logic
TLDR
A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events
- D. Kozen
- MathematicsInf. Comput.
- 15 July 1991
A finitary axiomatization of the algebra of regular events involving only equations and equational implications that is sound for all interpretations over Kleene algebras is given. Axioms for Kleene…
A completeness theorem for Kleene algebras and the algebra of regular events
- D. Kozen
- Mathematics[] Proceedings Sixth Annual IEEE Symposium on…
- 15 July 1991
A finitary axiomatization of the algebra of regular events involving only equations and equational implications that is sound for all interpretations over Kleene algebras is given. Axioms for Kleene…
Kleene algebra with tests
- D. Kozen
- MathematicsTOPL
- 1 May 1997
TLDR
Lower bounds for natural proof systems
- D. Kozen
- Computer Science18th Annual Symposium on Foundations of Computer…
- 30 September 1977
TLDR
Semantics of probabilistic programs
- D. Kozen
- Computer Science20th Annual Symposium on Foundations of Computer…
- 29 October 1979
Results on the Propositional µ-Calculus
- D. Kozen
- MathematicsICALP
- 1 May 1982
TLDR
NetKAT: semantic foundations for networks
- Carolyn Jane Anderson, Nate Foster, D. Walker
- Computer SciencePOPL
- 8 January 2014
TLDR
A probabilistic PDL
- D. Kozen
- MathematicsJ. Comput. Syst. Sci.
- 1 December 1983
TLDR
...
...