Search results

• Termination and Complexity Competition 2016
  * Jürgen Giesl, RWTH Aachen, Germany ...ice under joint development (since 2012) at the University of Iowa and the University of Miami.
  7 KB (1,056 words) - 21:06, 5 September 2016
• 19th International Workshop on Termination
  August 24-25, 2023, [https://www.uibk.ac.at/uz-obergurgl/index.html.en University Center Obergurgl], Austria. [https://goo.gl/maps/2Z2ekhg4ftbnLj5o7 (Google Ede ([http://www-i2.informatik.rwth-aachen.de/giesl/WST97/main.html 1997]),
  11 KB (1,420 words) - 17:02, 17 August 2023
• Termination Competition 2015
  * Jürgen Giesl, RWTH Aachen, Germany ...ice under joint development (since 2012) at the University of Iowa and the University of Miami.
  9 KB (1,240 words) - 11:55, 6 August 2015

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)