This page in English
SucheCalculating Church-Rosser Proofs in Kleene Algebra
G. Struth
6th International Conference of Relational methods in Computer Science (RelMICS 2001).
pp. 276-290, Oisterwijk, Netherlands, 2002.
In H.C.M. de Swart (ed.): Relational Methods in Computer Science, Lecture Notes in Computer Science 2561.
Springer-Verlag.
pp. 276-290, Oisterwijk, Netherlands, 2002.
In H.C.M. de Swart (ed.): Relational Methods in Computer Science, Lecture Notes in Computer Science 2561.
Springer-Verlag.