Revisiting Matrix Interpretations for Polynomial Derivational Complexity of Term Rewriting.

Friedrich Neurauter, Harald Zankl, Aart Middeldorp

Browse the full LPAR paper archive.