Univ.-Prof. Dr. Aart Middeldorp   

Polynomial Interpretations over the Reals do not Subsume Polynomial Interpretations over the Integers

Friedrich Neurauter and Aart Middeldorp
Proceedings of the 21st International Conference on Rewriting Techniques and Applications (RTA 2010), Leibniz International Proceedings in Informatics 6, pp. 243 – 258, 2010.

abstract   bibtex   pdf   doi:10.4230/LIPIcs.RTA.2010.243