Formalizing the Dependency Pair Criterion for Innermost Termination.

Ariane Alves Almeida Mauricio Ayala-Rincón

Published in: CoRR (2019)

Keyphrases

term rewrite systems
optimization criterion
pairwise
multiscale
minimum description length
information systems
multi agent
data structure
special case
active rules
optimality criterion
term rewriting