Univ.-Prof. Dr. Aart Middeldorp   

Ordinals and Knuth-Bendix Orders

Sarah Winkler, Harald Zankl, and Aart Middeldorp
Proceedings of the 18th International Conference on Logic for Programming and Automated Reasoning (LPAR-18), Lecture Notes in Computer Science (Advanced Research in Computing and Software Science) 7180, pp. 420 – 434, 2012

abstract   bibtex   pdf (preprint)   doi:10.1007/978-3-642-28717-6_33  
© Springer