论文信息 - NTS Grammars and Church-Rosser Systems - 字舞流文

NTS Grammars and Church-Rosser Systems

[1] Maurice Nivat,et al. Congruences parfaites et quasi-parfaites , 1971 .

[2] Gerard Huet,et al. Conflunt reductions: Abstract properties and applications to term rewriting systems , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).

[3] Colm Ó'Dúnlaing,et al. Testing for the Church-Rosser Property , 1981, Theor. Comput. Sci..

[4] Y. Cochet,et al. Une Generalisation des Ensembles de Dyck , 1971 .

[5] Ronald V. Book,et al. Monadic Thue Systems , 1982, Theor. Comput. Sci..

[6] Ronald V. Book,et al. Confluent and Other Types of Thue Systems , 1982, JACM.

[7] M. Newman. On Theories with a Combinatorial Definition of "Equivalence" , 1942 .