ACD Term Rewriting

DOI10.1007/11799573_11MaRDI QIDQ5449596zbMATH OpenOpenAlexFDO

Authors Gregory Duck, Peter J. Stuckey, Sebastian Brand

Publication date 11 March 2008

Published in Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11799573_11

Mathematics Subject Classification ID

Logic programming (68N17) Grammars and rewriting systems (68Q42)

Recommendations

• Demand-Driven Normalisation for ACD Term Rewriting
• scientific article; zbMATH DE number 1405631
• Promoting rewriting to a programming language: A compiler for non-deterministic rewrite programs in associative-commutative theories
• scientific article; zbMATH DE number 2043518
• Cadmium: An Implementation of ACD Term Rewriting

Cited in

(6)

• Dantzig-Wolfe decomposition and branch-and-price solving in G12
• scientific article; zbMATH DE number 2043518 (Why is no real title available?)
• Cadmium: An Implementation of ACD Term Rewriting
• Demand-Driven Normalisation for ACD Term Rewriting
• From High-Level Model to Branch-and-Price Solution in G12
• Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities

This page was built for publication: ACD Term Rewriting

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