Univ.-Prof. Dr. Aart Middeldorp   

Monotonicity Criteria for Polynomial Interpretations over the Naturals

Friedrich Neurauter, Aart Middeldorp, and Harald Zankl
Proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR 2010), Lecture Notes in Artificial Intelligence 6173, pp. 502 – 517, 2010

abstract   bibtex   pdf (preprint)   doi:10.1007/978-3-642-14203-1_42  
© Springer