Thue systems and the Church-Rosser property-Reference-Cited by-同舟云学术

Thue systems and the Church-Rosser property

Published: Issue: Volume: Page:80-95
ISSN:
Container-title:Mathematical Foundations of Computer Science 1984
language:
Short-container-title:

Author:

Jantzen Matthias

Publisher

Springer-Verlag

Link

http://link.springer.com/content/pdf/10.1007/BFb0030291.pdf

Reference64 articles.

1. Adjan, S., Defining Relations and Algorithmic Problems for Groups and Semigroups, Proc. Steklov Inst. Math. 85, (1966) (English version published by the American Mathematical Society, 1967.)

2. Avenhaus, J., Book, R., and Sqier, C., On Expressing Communtativity Monoids, R.A.I.R.O. Informatique Théorique, to appear.

3. Avenhaus, J., and Madlener, K., Algorithmische Probleme bei Einrelatorgruppen und ihre Komplexität, Arch. math. Logic 19, (1978), 3–12.

4. Avenhaus, J., and Madlener, K., String Matching and Algorithmic Problems in Free Groups, Revista Columbiana de Mathematicas 14, 1–16 (1980).

5. Berstel, J., Congruences plus que parfaites et langages algébriques, Séminaire d'Informatique Théorique, Institute de Programmation, (1976–77), 123–147.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Commutativity in groups presented by finite Church-Rosser Thue systems;RAIRO - Theoretical Informatics and Applications;1988

2. On groups having finite monadic church-rosser presentations;Lecture Notes in Mathematics;1988

3. Church-Rosser property and decidability of monadic theories of unary algebras;RAIRO - Theoretical Informatics and Applications;1987

4. Stable finite automata mappings and Church-Rosser systems;Fundamentals of Computation Theory;1987

5. Investigations on Hotz groups for arbitrary grammars;Acta Informatica;1986-03