Termination Analysis of Term Rewriting by Polynomial Interpretations and Matrix Interpretations

Termination Analysis of Term Rewriting by Polynomial Interpretations and Matrix Interpretations
DOWNLOAD COVER