Polynomial Termination over N is Undecidable
Fabian Mitterwallner, Aart MiddeldorpProceedings of the 17th International Workshop on Termination (WST 2021), pp. 21 - 26, 2021.
Abstract
BibTeX
@inproceedings{FMAM-WST21,
author = "Fabian Mitterwallner and Aart Middeldorp",
title = "Polynomial Termination over {N} is Undecidable",
booktitle = "Proceedings of the 17th International Workshop on
Termination",
pages = "21--26",
year = 2021
}