Jungle Evaluation for Efficient Term Rewriting.

Berthold Hoffmann Detlef Plump

Published in: ALP (1988)

Keyphrases

term rewriting
cost effective
computationally expensive
operational semantics
data sets
graphical models
multi agent
evaluation method
theorem proving
evaluation criteria
evaluation model