Calculating Church-Rosser Proofs in Kleene Algebra (2002)

Cached

Download Links

by Georg Struth
Venue:Relational Methods in Computer Science, 6th International Conference, volume 2561 of LNCS
Citations:9 - 4 self