Characterizing Determinacy in Kleene Algebras (2000)

by Jules Desharnais , Bernhard Möller
Venue:INFORMATION SCIENCES
Citations:11 - 5 self