Demand-Driven Normalisation for ACD Term Rewriting

DOI10.1007/978-3-642-02846-5_39zbMath1251.68123OpenAlexW14750032MaRDI QIDQ5325772

Leslie de Koninck, Peter J. Stuckey, Gregory J. Duck

Publication date: 24 July 2009

Published in: Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02846-5_39

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Uses Software

• Cadmium
• G12

Cites Work

• Theory and practice of constraint handling rules
• Term Rewriting and All That
• ACD Term Rewriting
• Logic Programming
• Cadmium: An Implementation of ACD Term Rewriting