论文标题翻译成中文：关于Jurdzinski和Lorys的证明，回文不是一个Church-Rosser语言。

摘要：回文不是Church-Rosser语言的翻译

作者：Colm O. Dunlaing and Natalie Schluter

论文ID：0710.4499

分类：Logic in Computer Science

分类简称：cs.LO

提交时间：2007-10-25

PDF 下载： 英文版 中文版pdf翻译中