scientific article

zbMath0542.20038MaRDI QIDQ3329652

Craig C. Squier, Ronald V. Book, Jürgen Avenhaus

Publication date: 1984

Full work available at URL: https://eudml.org/doc/92199

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

commutativecancellativefinite Church-Rosser Thue Systemfree cyclic monoid

Mathematics Subject Classification ID

General structure theory for semigroups (20M10) Commutative semigroups (20M14)

Related Items (9)

Commutative monoids have complete presentations by free (non-commutative) monoids ⋮ Rational strong codes and structure of rational group languages ⋮ Thue systems as rewriting systems ⋮ About the descriptive power of certain classes of finite string-rewriting systems ⋮ Commutativity in groups presented by finite Church-Rosser Thue systems ⋮ Elements of Finite Order for Finite Monadic Church-Rosser Thue Systems ⋮ Groups Presented by Finite Two-Monadic Church-Rosser Thue Systems ⋮ Groups and NTS languages ⋮ Finite complete rewriting systems for the Jantzen monoid and the Greendlinger group

Cites Work

• Unnamed Item
• Unnamed Item
• Decidable sentences of Church-Rosser congruences
• New decision algorithms for finitely presented commutative semigroups
• Rational sets in commutative monoids
• Une généralisation des ensembles de Dyck
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems

This page was built for publication: