Matrix Interpretations for Proving Termination of Term Rewriting.

Jrg Endrullis, Johannes Waldmann, Hans Zantema

Browse the full CADE paper archive.