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
Add To MetaCart
Results 1 - 1 of 1

5.2. CoLoR and Rainbow 6

by Liama Beijing Chine
"... c t i v it y e p o r t 2008 Table of contents ..."
Abstract - Add to MetaCart
c t i v it y e p o r t 2008 Table of contents