scientific article; zbMATH DE number 1995150

MaRDI QIDQ4431370zbMATH OpenFDO

Authors Enno Ohlebusch

Publication date 22 October 2003

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cited in

(4)

• On the modularity of termination of term rewriting systems
• Modular proofs for completeness of hierarchical term rewriting systems
• A uniform framework for term and graph rewriting applied to combined systems
• On modularity in infinitary term rewriting

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 Q4431370)