Intersection of the reflexive transitive closures of two rewrite relations induced by term rewriting systems

DOI10.1016/j.ipl.2018.02.005zbMath1476.68123OpenAlexW2790812689MaRDI QIDQ1707978

Sándor Vágvölgyi

Publication date: 4 April 2018

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2018.02.005

zbMATH Keywords

theory of computationterm rewriting systemsPost correspondence problem

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Intersection of finitely generated congruences over term algebra
• Congruential complements of ground term rewrite systems