Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and

Jeroen Ketema, Jakob Grue Simonsen

Browse the full FLOPS paper archive.