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 - 11 self

Document Versions

Kleene algebra with tests: Completeness and decidability –Dexter Kozen, Frederick Smith — 1996 — In Proc. of 10th International Workshop on Computer Science Logic (CSL’96
Kleene Algebra with Tests: Completeness and Decidability –Dexter Kozen, Frederick Smith — 1996 — Proc. 10th Int. Workshop Computer Science Logic (CSL'96), volume 1258 of Lecture Notes in Computer Science
Kleene Algebra with Tests: Completeness and Decidability –Dexter Kozen, Frederick Smith — 1996 — Proc. 10th Int. Workshop Computer Science Logic (CSL'96), volume 1258 of Lecture Notes in Computer Science