J.W. Klop | V. van Oostrom | Roel de Vrijer A geometric proof of confluence by decreasing diagrams
Gedrukt boek
Versies
-
A geometric proof of confluence by decreasing diagrams
-
A geometric proof of confluence by decreasing diagrams
-
A geometric proof of confluence by decreasing diagrams