Cadmium: An Implementation of ACD Term Rewriting

DOI10.1007/978-3-540-89982-2_45MaRDI QIDQ5504678zbMATH OpenOpenAlexFDO

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

Publication date 22 January 2009

Published in Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-89982-2_45

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• ACD Term Rewriting
• Demand-Driven Normalisation for ACD Term Rewriting
• Theory and practice of constraint handling rules
• Constraint solving with constraint handling rules
• scientific article; zbMATH DE number 1337859

Cites work

• ACD Term Rewriting
• Decidability of unification in the theory of one-sided distributivity and a multiplicative unit
• scientific article; zbMATH DE number 2043522 (Why is no real title available?)
• Logic Programming
• Term Rewriting and All That
• Theory and practice of constraint handling rules

Cited in

(5)

• Automatically improving constraint models in Savile Row
• Cadmium
• MiningZinc: a declarative framework for constraint-based mining
• Demand-Driven Normalisation for ACD Term Rewriting
• ACD Term Rewriting

Describes a project that uses

Uses Software

• Maude
• MiniZinc
• G12

This page was built for publication: Cadmium: An Implementation of ACD Term Rewriting

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