Polynomial Termination Over ℕ Is Undecidable.

Fabian Mitterwallner, Aart Middeldorp

Browse the full FSCD paper archive.