Decidability of confluence and termination of monadic term rewriting systems

DOI10.1007/3-540-53904-2_103zbMath1503.68151MaRDI QIDQ5055767

Kai Salomaa

Publication date: 9 December 2022

Published in: Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-53904-2_103

Mathematics Subject Classification ID

03B25: Decidability of theories and sets of sentences

03B35: Mechanization of proofs and logical operations

68Q42: Grammars and rewriting systems

Related Items

Right-linear half-monadic term rewrite systems