Church-Rosser Properties of Normal Rewriting Jean-Pierre Jouannaud ´ Ecole Polytechnique and Tsinghua University

First Page		Document Content
Date: 2014-05-21 11:12:16		Church-Rosser Properties of Normal Rewriting Jean-Pierre Jouannaud ´ Ecole Polytechnique and Tsinghua University Add to Reading List Source URL: www.cri.ensmp.fr Download Document from Source Website File Size: 190,95 KB Share Document on Facebook