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

DOI10.1016/J.IPL.2018.02.005MaRDI QIDQ1707978zbMATH OpenOpenAlexFDO

Authors 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

Post correspondence problemterm rewriting systemstheory of computation

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 794237
• On interreduction of semi-complete term rewriting systems
• Invariants and closures in the theory of rewrite systems
• Closure under union and composition of iterated rational transductions
• Reflexivity, transitivity, symmetry, and anti-symmetry of the intersection convolution of relations
• Confluence of nearly orthogonal infinitary term rewriting systems
• scientific article; zbMATH DE number 1722708
• Some results on the confluence property of combined term rewriting systems
• scientific article; zbMATH DE number 883895
• Relating confluence, innermost-confluence and outermost-confluence properties of term rewriting system

Cites work

• Congruential complements of ground term rewrite systems
• scientific article; zbMATH DE number 3639163 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• scientific article; zbMATH DE number 1889386 (Why is no real title available?)
• Intersection of finitely generated congruences over term algebra

Cited in

(1)

• Intersection of finitely generated congruences over term algebra

This page was built for publication: Intersection of the reflexive transitive closures of two rewrite relations induced by term rewriting systems

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