First Page | Document Content | |
---|---|---|
Date: 2014-05-21 11:12:16 | Church-Rosser Properties of Normal Rewriting Jean-Pierre Jouannaud ´ Ecole Polytechnique and Tsinghua UniversityAdd to Reading ListSource URL: www.cri.ensmp.frDownload Document from Source WebsiteFile Size: 190,95 KBShare Document on Facebook |