Fabian Mitterwallner, Aart Middeldorp
Proceedings of the 17th International Workshop on Termination (WST 2021), pp. 21 - 26, 2021
pdf
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}