|
9
|
On the Complexity of Reasoning in Kleene Algebra
– Dexter Kozen
- 1997
|
|
27
|
Certification of compiler optimizations using Kleene algebra with tests
– Dexter Kozen, Maria-Cristina Patron
- 2000
|
|
2
|
Myhill-Nerode relations on automatic systems and the completeness of Kleene algebra
– Dexter Kozen
|
|
15
|
Dynamic Algebras: Examples, Constructions, Applications
– Vaughan Pratt
- 1991
|
|
10
|
On Action Algebras
– Dexter Kozen
- 1993
|
|
12
|
Kleene algebra with tests and program schematology
– Allegra Angus, Dexter Kozen
- 2001
|
|
47
|
Action Logic and Pure Induction
– Vaughan Pratt
- 1991
|
|
163
|
A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events
– Dexter Kozen
- 1994
|
|
33
|
Dynamic Algebras as a well-behaved fragment of Relation Algebras
– Vaughan Pratt
- 1990
|
|
8
|
Typed Kleene Algebra
– Dexter Kozen
- 1998
|
|
30
|
On Kleene Algebras and Closed Semirings
– Dexter Kozen
- 1990
|
|
33
|
On Hoare Logic and Kleene Algebra with Tests
– Dexter Kozen
|
|
4
|
Equational Axioms of Test Algebra
– Marco Hollenberg
- 1996
|
|
11
|
Equational verification of cache blocking in lu decomposition using kleene algebra with tests
– Adam Barth, Dexter Kozen
- 2002
|
|
4
|
On Hoare logic, Kleene algebra, and types
– Dexter Kozen
- 1999
|
|
7
|
KAT-ML: An interactive theorem prover for Kleene Algebra with Tests
– Kamal Aboul-hosn, Dexter Kozen
- 2003
|
|
87
|
Kleene algebra with tests
– Dexter Kozen
- 1997
|
|
14
|
Parikh's Theorem in Commutative Kleene Algebra
– Mark W. Hopkins, Dexter C. Kozen
- 1999
|
|
743
|
Dynamic Logic
– David Harel, Dexter Kozen, Jerzy Tiuryn
- 1984
|
