Cadmium: An Implementation of ACD Term Rewriting

DOI10.1007/978-3-540-89982-2_45zbMath1185.68137OpenAlexW1556279062MaRDI QIDQ5504678

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

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)

Related Items (4)

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

Uses Software

• Maude
• MiniZinc
• G12

Cites Work

• Unnamed Item
• Decidability of unification in the theory of one-sided distributivity and a multiplicative unit
• Theory and practice of constraint handling rules
• Term Rewriting and All That
• ACD Term Rewriting
• Logic Programming

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