Ruiwen Dong 0001. Termination of linear loops under commutative updates. In Alicia Dickenstein, Elias P. Tsigaridas, Gabriela Jeronimo, editors, Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023. pages 236-241, ACM, 2023. [doi]
Abstract is missing.