ACD Term Rewriting

DOI10.1007/11799573_11zbMath1131.68374OpenAlexW1872879644MaRDI QIDQ5449596

Gregory J. Duck, Sebastian Brand, Peter J. Stuckey

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

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

Related Items

Demand-Driven Normalisation for ACD Term Rewriting, Dantzig-Wolfe decomposition and branch-and-price solving in G12, 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, Cadmium: An Implementation of ACD Term Rewriting