Congruences generated by extended ground term rewrite systems

DOI10.3233/FI-2009-155MaRDI QIDQ3400560zbMATH OpenOpenAlexFDO

Authors Sándor Vágvölgyi

Publication date 5 February 2010

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2009-155

zbMATH Keywords

tree automatonextended ground term rewrite system

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42)

Recommendations

• Intersection of finitely generated congruences over term algebra
• scientific article; zbMATH DE number 58292
• Congruential complements of ground term rewrite systems
• Term rewriting restricted to ground terms.
• On ground-confluence of term rewriting systems

Cited in

(7)

• Intersection of finitely generated congruences over term algebra
• Congruential complements of ground term rewrite systems
• scientific article; zbMATH DE number 58292 (Why is no real title available?)
• Symbol different term rewrite systems
• scientific article; zbMATH DE number 1507044 (Why is no real title available?)
• Term rewriting restricted to ground terms.
• Ground term rewriting

This page was built for publication: Congruences generated by extended ground term rewrite systems

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