scientific article; zbMATH DE number 3880671

zbMATH Open0553.03025MaRDI QIDQ3346296FDOQ3346296

Authors: Matthias Jantzen 

Publication date: 1984

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 3898258
• Homogeneous Thue systems and the Church-Rosser property
• Groups Presented by Finite Two-Monadic Church-Rosser Thue Systems
• Thue systems as rewriting systems
• scientific article; zbMATH DE number 3850463

zbMATH Keywords

surveyChurch-Rosser propertyconfluent semi-Thue systemssequential string rewritingstring transformation systems

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Thue and Post systems, etc. (03D03) Abstract data types; algebraic specification (68Q65)

Cited In (12)

• Investigations on Hotz groups for arbitrary grammars
• Thue systems as rewriting systems
• Commutativity in groups presented by finite Church-Rosser Thue systems
• The uniform conjugacy problem for finite church—Rosser thue systems is NP-complete
• Groups and NTS languages
• The Bianchi models: then and now
• A note on a special one-rule semi-Thue system
• A finite Thue system with decidable word problem and without equivalent finite canonical system
• Remarks on an example of Jantzen
• A new lower bound construction for commutative Thue systems with applications
• Church-Rosser property and decidability of monadic theories of unary algebras
• The Church-Rosser property and special Thue systems

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3346296)