C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Demand-Driven Normalisation for ACD Term Rewriting.
Leslie De Koninck
Gregory J. Duck
Peter J. Stuckey
Published in:
ICLP (2009)
Keyphrases
</>
demand driven
term rewriting
theorem proving
theorem prover
operational semantics
rewrite systems
knuth bendix
load balance
formal semantics