Proving termination with transition invariants of height omega.

Stefano Berardi Paulo Oliva Silvia Steila

Published in: CoRR (2014)

Keyphrases

term rewrite systems
moment invariants
term rewriting
rewrite systems
affine moment invariants
databases
three dimensional
affine invariant
invariant features
projective invariants
quasi invariant