Kleene algebra with tests (1997)

by Dexter Kozen
Venue:Transactions on Programming Languages and Systems
Citations:108 - 23 self

Document Versions

Kleene algebra with tests –Dexter Kozen — 1997 — Transactions on Programming Languages and Systems
The Complexity of Kleene Algebra with Tests –Ernie Cohen, Dexter Kozen, Frederick Smith — 1996 — Transactions on Programming Languages and Systems
Kleene algebra with tests –Ernie Cohen, Dexter Kozen Y, Frederick Smith Y — 1997 — Transactions on Programming Languages and Systems
Kleene Algebra with Tests –Dexter Kozen — 1999 — Transactions on Programming Languages and Systems