Search results

• Tools:VMTL
  |country=Austria
  937 bytes (135 words) - 10:45, 30 December 2009
• TC SC Meeting WST09
  * the WST after that will be held in Obergurgl/Austria early 2012, workshop chair: Georg Moser.
  2 KB (280 words) - 12:31, 5 June 2009
• Termination and Complexity Competition 2016
  * René Thiemann, Universität Innsbruck, Austria * René Thiemann, Universität Innsbruck, Austria (CPF)
  7 KB (1,056 words) - 21:06, 5 September 2016
• Termination Competition 2017
  * Akihisa Yamada, Universität Innsbruck, Austria * Akihisa Yamada, Universität Innsbruck, Austria (CPF and TPDB)
  7 KB (962 words) - 08:48, 11 June 2018
• Cycle Rewriting
  ...ng], Proceedings of Joint International Conference, RTA-TLCA 2014, Vienna, Austria, July 14-17, 2014 Springer Lecture Notes in Computer Science 8560, pages 47
  4 KB (682 words) - 09:21, 1 July 2015
• Termination Competition 2014
  * Rene Thiemann, Universität Innsbruck, Austria
  6 KB (942 words) - 13:45, 11 October 2015
• Termination Competition 2018
  * Christian Sternagel, Universität Innsbruck, Austria
  7 KB (1,049 words) - 09:55, 12 June 2020
• Termination Competition 2019
  * Christian Sternagel, Universität Innsbruck, Austria
  7 KB (1,068 words) - 09:25, 12 June 2020
• Termination Competition 2015
  * Rene Thiemann, Universität Innsbruck, Austria
  9 KB (1,240 words) - 11:55, 6 August 2015
• 19th International Workshop on Termination
  ...://www.uibk.ac.at/uz-obergurgl/index.html.en University Center Obergurgl], Austria. [https://goo.gl/maps/2Z2ekhg4ftbnLj5o7 (Google Map)]
  11 KB (1,420 words) - 17:02, 17 August 2023

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