Eike Neumann, Margret Tembo. Termination of Real Linear Loops. In Vasco Brattka, Henning Fernau, Lorenzo Galeotti, editors, Timeless Machines: Computability Across Eras - 22nd Conference on Computability in Europe, CiE 2026, Trier, Germany, July 27-31, 2026, Proceedings. Volume 16674 of Lecture Notes in Computer Science, pages 437-452, Springer, 2026. [doi]
Abstract is missing.