On reduced thue systems

DOI10.1007/BF01699466zbMath0593.03022MaRDI QIDQ3722483

Luquan Pan

Publication date: 1985

Published in: Mathematical Systems Theory (Search for Journal in Brave)

zbMATH Keywords

Church-Rosser propertyfinite Thue system

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Word problems, etc. in computability and recursion theory (03D40) Thue and Post systems, etc. (03D03)

Related Items (1)

Thue systems as rewriting systems

Cites Work

• Undecidable questions related to Church-Rosser Thue systems
• Confluent and Other Types of Thue Systems
• Unnamed Item
• Unnamed Item

This page was built for publication: On reduced thue systems