Ground term rewriting

zbMATH Open1257.68094MaRDI QIDQ4904142FDOQ4904142

Authors: Sándor Vágvölgyi 

Publication date: 28 January 2013

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

zbMATH Keywords

bottom-up tree automatonground tem rewrite system

Mathematics Subject Classification ID

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

Cited In (2)

• Congruential complements of ground term rewrite systems
• Title not available (Why is that?)

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)