On Kleene Algebras and Closed Semirings (1990)

by Dexter Kozen
Venue:of Lect. Notes in Comput. Sci
Citations:55 - 6 self