Multi-Dimensional Interpretations for Termination of Term Rewriting.

Akihisa Yamada

Browse the full CADE paper archive.