Remarks on an example of Jantzen

DOI10.1016/0304-3975(84)90003-3MaRDI QIDQ793015zbMATH OpenOpenAlexWikidataFDO

Authors D. H. Potts

Publication date 1984

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(84)90003-3

zbMATH Keywords

monoidChurch-Rosser Thue system

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Thue and Post systems, etc. (03D03) Semigroups in automata theory, linguistics, etc. (20M35) Word problems, etc. in computability and recursion theory (03D40)

Recommendations

• Finite complete rewriting systems for the Jantzen monoid and the Greendlinger group
• scientific article; zbMATH DE number 3880671
• scientific article; zbMATH DE number 4036066
• Groups Presented by Finite Two-Monadic Church-Rosser Thue Systems
• scientific article; zbMATH DE number 3948242

Cites work

• scientific article; zbMATH DE number 3224578 (Why is no real title available?)
• scientific article; zbMATH DE number 3299786 (Why is no real title available?)
• scientific article; zbMATH DE number 3323852 (Why is no real title available?)
• A note on representations of a certain monoid
• A note on special thue systems with a single defining relation
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Confluent and Other Types of Thue Systems
• On a special monoid with a single defining relation

Cited in

(7)

• scientific article; zbMATH DE number 4054135 (Why is no real title available?)
• scientific article; zbMATH DE number 5168411 (Why is no real title available?)
• Thue systems as rewriting systems
• A note on a special one-rule semi-Thue system
• scientific article; zbMATH DE number 5885268 (Why is no real title available?)
• Finite complete rewriting systems for the Jantzen monoid and the Greendlinger group
• The word problem for one-relation monoids: a survey

This page was built for publication: Remarks on an example of Jantzen

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