Ground term rewriting

MaRDI QIDQ4904142zbMATH OpenFDO

Authors Sándor Vágvölgyi

Publication date 28 January 2013

zbMATH Keywords

bottom-up tree automatonground tem rewrite system

Mathematics Subject Classification ID

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

Recommendations

• Term rewriting restricted to ground terms.
• Congruences generated by extended ground term rewrite systems
• scientific article; zbMATH DE number 58292
• scientific article; zbMATH DE number 1337744
• Deciding confluence of ground term rewrite systems in cubic time

Cited in

(2)

• Congruential complements of ground term rewrite systems
• scientific article; zbMATH DE number 58292 (Why is no real title available?)

This page was built for publication: Ground term rewriting

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