Kleene algebra with tests (1997)

by Dexter Kozen
Venue:Transactions on Programming Languages and Systems
Citations:107 - 22 self

Active Bibliography

32 Certification of compiler optimizations using Kleene algebra with tests – Dexter Kozen, Maria-Cristina Patron - 2000
21 Kleene algebra with tests: Completeness and decidability – Dexter Kozen, Frederick Smith - 1996
185 A completeness theorem for Kleene algebras and the algebra of regular events – Dexter Kozen - 1994
40 On Hoare Logic and Kleene Algebra with Tests – Dexter Kozen
10 On Action Algebras – Dexter Kozen - 1993
3 Myhill-Nerode relations on automatic systems and the completeness of Kleene algebra – Dexter Kozen
4 Equational axioms of test algebra – Marco Hollenberg - 1997
15 Kleene algebra with tests and program schematology – Allegra Angus, Dexter Kozen - 2001
9 On the Complexity of Reasoning in Kleene Algebra – Dexter Kozen - 1997
16 Typed Kleene algebra – Dexter Kozen - 1998
817 Dynamic Logic – David Harel, Dexter Kozen, Jerzy Tiuryn - 1984
33 Dynamic Algebras as a well-behaved fragment of Relation Algebras – Vaughan Pratt - 1990
3 Periodic Sets of Integers – Armando B. Matos - 1994
1 Kleene Algebras, Rewriting Modulo AC, and Circuits In Coq – Thomas Braibant - 2012
16 Parikh's Theorem in Commutative Kleene Algebra – Mark W. Hopkins, Dexter C. Kozen - 1999
4 Language preorder as a precongruence – Wan Fokkink
6 Efficient Submatch Addressing for Regular Expressions – Ville Laurikari - 2001
34 From Regular Expressions to DFA's Using Compressed NFA's – Chia-hsiang Chang, A. Paige - 1992
4 On Hoare logic, Kleene algebra, and types – Dexter Kozen - 1999