Formalizing the dependency pair criterion for innermost termination.

Ariane Alves Almeida Mauricio Ayala-Rincón

Published in: Sci. Comput. Program. (2020)

Keyphrases

term rewrite systems
pairwise
optimization criterion
term rewriting
real time
multiscale
social networks
multiresolution
active rules
minimum description length
error criterion
rewrite systems
termination analysis