2 search results - page 1 / 1 » Demand-Driven Normalisation for ACD Term Rewriting |
167
Voted
ICLP
2009
Springer
16 years 15 days 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
14 years 12 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...