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