scientific article; zbMATH DE number 3941518

MaRDI QIDQ3714064zbMATH OpenFDO

Authors Ronald V. Book

Publication date 1985

zbMATH Keywords

algebraic properties of monoidsChurch-Rosser propertycomplexitydecidabilitymonoid presentationreduction relation based on the length

Mathematics Subject Classification ID

Thue and Post systems, etc. (03D03) Word problems, etc. in computability and recursion theory (03D40) Free semigroups, generators and relations, word problems (20M05) Abstract data types; algebraic specification (68Q65)

Recommendations

• Thue systems as rewriting systems
• scientific article; zbMATH DE number 3898258
• On reduced thue systems
• scientific article; zbMATH DE number 3948242
• Homogeneous Thue systems and the Church-Rosser property

Cited in

(13)

• On deciding whether a monoid is a free monoid or is a group
• Thue systems as rewriting systems
• History and basic features of the critical-pair/completion procedure
• Unification theory
• Buchberger's algorithm: The term rewriter's point of view
• Calcul de longueurs de chaînes de réécriture dans le monoïde libre
• On finite commutative Thue systems
• Commutativity in groups presented by finite Church-Rosser Thue systems
• Divergence phenomena during completion
• Conditional semi-Thue systems for presenting monoids
• On the Noetherian properties of reduction system of words
• Using string-rewriting for solving the word problem for finitely presented groups
• Groups and NTS languages

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 Q3714064)