A note on confluent Thue systems

DOI10.1007/3-540-55124-7_10zbMath1522.03151OpenAlexW1554156161MaRDI QIDQ6114513

Ronald V. Book

Publication date: 14 August 2023

Published in: Word Equations and Related Topics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-55124-7_10

Mathematics Subject Classification ID

Thue and Post systems, etc. (03D03)

Cites Work

• Pseudo-natural algorithms for the word problem for finitely presented monoids and groups
• Testing for the Church-Rosser property
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Confluent and Other Types of Thue Systems
• Unnamed Item

This page was built for publication: A note on confluent Thue systems