Search results

• Termination Competition
  From 2008 to 2013 the competition was run by René Thiemann, [http://termcomp.uibk.ac.at Innsbruck].
  7 KB (905 words) - 10:03, 16 April 2024
• Termination Competition 2014
  * Rene Thiemann, Universität Innsbruck, Austria
  6 KB (942 words) - 13:45, 11 October 2015
• Termination Competition 2015
  * Rene Thiemann, Universität Innsbruck, Austria Send new problems for the competition to rene.thiemann<at>uibk.ac.at
  9 KB (1,240 words) - 11:55, 6 August 2015

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