Frohn, Florian Automation of Logic, MPI for Informatics, Max Planck Society;
Frohn-Giesl2019_Chapter_TerminationOfTriangularInteger.pdf (出版社版), 370KB
Frohn, F., & Giesl, J. (2019). Termination of Triangular Integer Loops is Decidable. In I., Dillig, & S., Tasiran (Eds.), Computer Aided Verification (pp. 426-444). Berlin: Springer. doi:10.1007/978-3-030-25543-5_24.
