ACD Term Rewriting

DOI10.1007/11799573_11zbMATH Open1131.68374OpenAlexW1872879644MaRDI QIDQ5449596FDOQ5449596

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
• Publication:4938610
• 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
• Title not available (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)