scientific article; zbMATH DE number 1236372

zbMATH Open0936.68062MaRDI QIDQ4223786FDOQ4223786

Authors: Enno Ohlebusch 

Publication date: 11 March 1999

Title of this publication is not available (Why is that?)

Recommendations

• Modularity in noncopying term rewriting
• Modularity of termination in term graph rewriting
• On the modularity of termination of term rewriting systems
• scientific article; zbMATH DE number 1361503
• Modularity of simple termination of term rewriting systems with shared constructors

zbMATH Keywords

term graph rewritingmodularity proofnon-duplicating rewriting

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cited In (1)

• A uniform framework for term and graph rewriting applied to combined systems

This page was built for publication:

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