Characterising Space Complexity Classes via Knuth-Bendix Orders

Guillaume Bonfante and Georg Moser
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. 142 – 156, 2010.

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