Polynomial Termination over N is Undecidable

Fabian Mitterwallner, Aart Middeldorp
Proceedings of the 17th International Workshop on Termination (WST 2021),   pp. 21 - 26, 2021.

abstract   BibTeX   PDF