Polynomial Termination over N is Undecidable

Fabian Mitterwallner, Aart Middeldorp
Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, Leibniz International Proceedings in Informatics 228, pp. 27:1-27:17, 2022.

abstract   BibTeX   PDF   doi:10.4230/LIPIcs.FSCD.2022.27