2 search results - page 1 / 1 » Demand-Driven Normalisation for ACD Term Rewriting |
173
Voted
ICLP
2009
Springer
16 years 1 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...
78
Voted
CORR
2006
Springer
15 years 20 days 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...