The Termination and Complexity Competition

Jürgen Giesl, Albert Rubio, Christian Sternagel, Johannes Waldmann, Akihisa Yamada
25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science 11429, pp. 155 – 166, 2019.

abstract   BibTeX   PDF   doi:10.1007/978-3-030-17502-3_10  
Open Access (CC BY 4.0)