Monotonicity Criteria for Polynomial Interpretations over the Naturals.

Friedrich Neurauter, Aart Middeldorp, Harald Zankl

Browse the full CADE paper archive.