Congruences generated by extended ground term rewrite systems

DOI10.3233/FI-2009-155zbMATH Open1209.68292OpenAlexW1486933752MaRDI QIDQ3400560FDOQ3400560

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

Recommendations

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

zbMATH Keywords

tree automatonextended ground term rewrite system

Mathematics Subject Classification ID

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

Cited In (6)

• Intersection of finitely generated congruences over term algebra
• Congruential complements of ground term rewrite systems
• Title not available (Why is that?)
• Symbol different term rewrite systems
• Title not available (Why is that?)
• Term rewriting restricted to ground terms.

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)