2 search results - page 1 / 1 » Demand-Driven Normalisation for ACD Term Rewriting |
ICLP
2009
Springer
14 years 5 months ago
2009
Springer
ACD Term Rewriting (ACDTR) is term rewriting modulo associativity, commutativity, and a limited form of distributivity called conjunctive context. Previous work presented an implem...
CORR
2006
Springer
13 years 4 months ago
2006
Springer
ACD Term Rewriting (ACDTR) is term rewriting modulo associativity, commutativity, and a limited form of distributivity called conjunctive context. Previous work presented an implem...