ACD Term Rewriting

DOI10.1007/11799573_11zbMATH Open1131.68374OpenAlexW1872879644MaRDI QIDQ5449596FDOQ5449596

Gregory 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

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

Mathematics Subject Classification ID

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

Cited In (6)

• Dantzig-Wolfe decomposition and branch-and-price solving in G12
• Title not available (Why is that?)
• 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)