Characterizing determinacy in Kleene algebras (0)

by J Desharnais, B Möller
Venue:Inform. Sci