Revisiting Matrix Interpretations for Polynomial Derivational Complexity of Term Rewriting

Friedrich Neurauter, Harald Zankl, and Aart Middeldorp
Proceedings of the 17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-17), Lecture Notes in Computer Science (Advanced Research in Computing and Software Science) 6397, pp. 550 – 564, 2010.

abstract   BibTeX   PDF   doi:10.1007/978-3-642-16242-8_39  
© Springer