On the Formalization of Termination Techniques based on Multiset Orderings.

René Thiemann Guillaume Allais Julian Nagele

Published in: RTA (2012)

Keyphrases

term rewriting
formal model
operational semantics
rewrite systems
real time
multiscale
trade off
knowledge representation
decision making
active rules