Kleene Algebra with Tests: Completeness and Decidability (1996)

by Dexter Kozen , Frederick Smith
Venue:Proc. 10th Int. Workshop Computer Science Logic (CSL'96), volume 1258 of Lecture Notes in Computer Science
Citations:22 - 10 self

Documents Related by Co-Citation

109 Kleene algebra with tests – Dexter Kozen - 1997
186 A completeness theorem for Kleene algebras and the algebra of regular events – Dexter Kozen - 1994
41 On Hoare Logic and Kleene Algebra with Tests – Dexter Kozen
276 Regular algebra and finite machines – J H Conway - 1971
374 Representation of events in nerve nets and finite automata – S C Kleene - 1956
359 Propositional dynamic logic of regular programs – Michael J Fischer, Richard E Ladner - 1979
820 Dynamic Logic – David Harel, Dexter Kozen, Jerzy Tiuryn - 1984
2446 The Design and Analysis of Computer Algorithms – A Aho, J Hopcroft, J Ullman - 1974
1096 Proof-Carrying Code – George C. Necula - 1997