Kleene algebra with tests: Completeness and decidability (0)

by D Kozen, F Smith
Venue:Proc. 10th Int. Workshop Computer Science Logic (CSL’96), volume 1258 of Lecture