On the modularity of normal forms in rewriting

DOI10.1006/JSCO.1996.0045zbMath0865.68069OpenAlexW2045929285MaRDI QIDQ674762

Massimo Marchiori

Publication date: 30 June 1997

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jsco.1996.0045

zbMATH Keywords

term rewriting systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (5)

Bubbles in modularity ⋮ Modularity in term rewriting revisited ⋮ Unnamed Item ⋮ On modularity in infinitary term rewriting ⋮ Congruential complements of ground term rewrite systems

This page was built for publication: On the modularity of normal forms in rewriting