Demand-Driven Normalisation for ACD Term Rewriting

DOI10.1007/978-3-642-02846-5_39MaRDI QIDQ5325772zbMATH OpenOpenAlexFDO

Authors Leslie De Koninck, Gregory Duck, Peter J. Stuckey

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)

Recommendations

• ACD Term Rewriting
• scientific article; zbMATH DE number 1405631
• Termination and completion modulo associativity, commutativity and identity
• scientific article; zbMATH DE number 2043518
• Cadmium: An Implementation of ACD Term Rewriting

Cites work

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

Cited in

(2)

• ACD Term Rewriting
• Cadmium: An Implementation of ACD Term Rewriting

Describes a project that uses

Uses Software

• G12
• Cadmium

This page was built for publication: Demand-Driven Normalisation for ACD Term Rewriting

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