Polynomial Interpretations over the Natural, Rational and Real Numbers Revisited

Friedrich Neurauter and Aart Middeldorp
Logical Methods in Computer Science 10(3:22), pp. 1 – 28, 2014.

abstract   BibTeX   PDF   doi:10.2168/LMCS-10(3:22)2014  
Creative Commons License – ND