Modular Church-Rosser Modulo: the Full Picture (0)

by J-P JOUANNAUD, Y TOYAMA
Venue:in "International Journal of Software and Informatics", 2008, http://hal.inria.fr/inria-00350970/en/. Invited Conferences