scientific article
From MaRDI portal
Publication:3346296
zbMath0553.03025MaRDI QIDQ3346296
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
surveyChurch-Rosser propertyconfluent semi-Thue systemssequential string rewritingstring transformation systems
Abstract data types; algebraic specification (68Q65) Equational classes, universal algebra in model theory (03C05) Thue and Post systems, etc. (03D03)
Related Items (8)
Investigations on Hotz groups for arbitrary grammars ⋮ Thue systems as rewriting systems ⋮ Church-Rosser property and decidability of monadic theories of unary algebras ⋮ Commutativity in groups presented by finite Church-Rosser Thue systems ⋮ The Bianchi models: then and now ⋮ Groups and NTS languages ⋮ A note on a special one-rule semi-Thue system ⋮ A finite Thue system with decidable word problem and without equivalent finite canonical system
This page was built for publication:
