This page in English
SucheCharacterizing Determinacy in Kleene Algebras (Revised version)
J. Desharnais, B. Möller
2001-03
in: Universität Augsburg
Technical Report, Institute of Computer Science, University of Augsburg, April 2001
Downloads:
- Characterizing Determinacy in Kleene Algebras (Revised version) - (tr-2001-3_moe.pdf, 312 KB)