Termination Competition: Revision history

8 June 2012

• curprev 11:4111:41, 8 June 2012 Georg.moser talk contribs 3,448 bytes +30 No edit summary
• curprev 11:4011:40, 8 June 2012 Georg.moser talk contribs 3,418 bytes +19 No edit summary

5 April 2012

• curprev 07:2107:21, 5 April 2012 J.waldmann talk contribs 3,399 bytes +29 →Upcoming Competition
• curprev 07:2007:20, 5 April 2012 J.waldmann talk contribs 3,370 bytes +25 →Upcoming Competition
• curprev 07:1807:18, 5 April 2012 J.waldmann talk contribs 3,345 bytes −85 →Upcoming Competition

12 December 2011

• curprev 11:5911:59, 12 December 2011 J.waldmann talk contribs 3,430 bytes +91 →History of Termination Competitions
• curprev 11:5811:58, 12 December 2011 J.waldmann talk contribs 3,339 bytes −58 →History of Termination Competitions
• curprev 11:5711:57, 12 December 2011 J.waldmann talk contribs 3,397 bytes +103 →History of Termination Competitions
• curprev 11:5611:56, 12 December 2011 J.waldmann talk contribs 3,294 bytes −3 →History of Termination Competitions
• curprev 11:5611:56, 12 December 2011 J.waldmann talk contribs 3,297 bytes −39 →History of Termination Competitions

3 December 2011

• curprev 14:5614:56, 3 December 2011 J.waldmann talk contribs 3,336 bytes −98 →History of Termination Competitions
• curprev 14:5014:50, 3 December 2011 J.waldmann talk contribs 3,434 bytes +69 →Upcoming Competition
• curprev 14:4914:49, 3 December 2011 J.waldmann talk contribs 3,365 bytes +113 →Upcoming Competition

10 October 2011

• curprev 08:4708:47, 10 October 2011 J.waldmann talk contribs 3,252 bytes −11 →History of Termination Competitions
• curprev 08:4608:46, 10 October 2011 J.waldmann talk contribs 3,263 bytes +1 →History of Termination Competitions
• curprev 08:4608:46, 10 October 2011 J.waldmann talk contribs 3,262 bytes +228 →History of Termination Competitions
• curprev 08:3608:36, 10 October 2011 J.waldmann talk contribs 3,034 bytes −21 →History of Termination Competitions
• curprev 08:3608:36, 10 October 2011 J.waldmann talk contribs 3,055 bytes +34 →History of Termination Competitions
• curprev 08:3408:34, 10 October 2011 J.waldmann talk contribs 3,021 bytes +144 No edit summary

11 May 2011

• curprev 20:0520:05, 11 May 2011 Fuhs talk contribs 2,877 bytes −10 Higher order termination joined the competition in 2010

19 April 2011

• curprev 11:0111:01, 19 April 2011 J.waldmann talk contribs 2,887 bytes +65 →Annual International Termination Competition

18 February 2011

• curprev 02:2802:28, 18 February 2011 Hzankl talk contribs 2,822 bytes +49 →Annual International Termination Competition
• curprev 02:2102:21, 18 February 2011 Hzankl talk contribs 2,773 bytes +132 →History of Termination Competitions

29 April 2010

• curprev 11:0211:02, 29 April 2010 J.waldmann talk contribs 2,641 bytes +52 move 2009 to "past"

21 December 2009

• curprev 14:4114:41, 21 December 2009 C-Otto talk contribs 2,589 bytes +40 No edit summary
• curprev 09:0909:09, 21 December 2009 J.waldmann talk contribs 2,549 bytes +30 →Competition Categories

18 December 2009

• curprev 12:3912:39, 18 December 2009 J.waldmann talk contribs 2,519 bytes +67 →History of Termination Competitions

17 December 2009

• curprev 11:2311:23, 17 December 2009 Giesl talk contribs m 2,452 bytes +202 Added link to result page of termination competition

10 December 2009

• curprev 12:3612:36, 10 December 2009 J.waldmann talk contribs 2,250 bytes +12 →Competition Categories
• curprev 12:3612:36, 10 December 2009 J.waldmann talk contribs 2,238 bytes −35 →Competition Categories

27 November 2009

• curprev 14:5614:56, 27 November 2009 J.waldmann talk contribs 2,273 bytes +56 →Competition Categories
• curprev 14:2714:27, 27 November 2009 J.waldmann talk contribs 2,217 bytes +53 No edit summary
• curprev 14:1614:16, 27 November 2009 J.waldmann talk contribs 2,164 bytes +171 No edit summary

23 June 2009

• curprev 11:0111:01, 23 June 2009 J.waldmann talk contribs 1,993 bytes +111 →Annual International Termination Competition
• curprev 11:0011:00, 23 June 2009 J.waldmann talk contribs 1,882 bytes +78 →Annual International Termination Competition

13 May 2009

• curprev 07:3907:39, 13 May 2009 J.waldmann talk contribs 1,804 bytes +97 →Annual International Termination Competition

12 March 2009

• curprev 09:4609:46, 12 March 2009 J.waldmann talk contribs 1,707 bytes +27 No edit summary
• curprev 09:4509:45, 12 March 2009 J.waldmann talk contribs 1,680 bytes +345 →Annual International Termination Competition

24 October 2008

• curprev 15:5815:58, 24 October 2008 C-Otto talk contribs 1,335 bytes +29 No edit summary

22 October 2008

• curprev 11:4511:45, 22 October 2008 J.waldmann talk contribs 1,306 bytes −117 No edit summary

2 June 2008

• curprev 14:4914:49, 2 June 2008 J.waldmann talk contribs 1,423 bytes −166 No edit summary
• curprev 14:1214:12, 2 June 2008 J.waldmann talk contribs 1,589 bytes −25 →Current Votes
• curprev 14:1114:11, 2 June 2008 J.waldmann talk contribs 1,614 bytes −226 →Annual International Termination Competition
• curprev 14:1114:11, 2 June 2008 J.waldmann talk contribs 1,840 bytes +6 No edit summary
• curprev 14:1014:10, 2 June 2008 J.waldmann talk contribs 1,834 bytes +558 →The Future

14 April 2008

• curprev 06:3806:38, 14 April 2008 Thiemann talk contribs 1,276 bytes −24 No edit summary

9 April 2008

• curprev 19:3619:36, 9 April 2008 Fuhs talk contribs m 1,300 bytes +1 typo

30 March 2008

• curprev 11:3011:30, 30 March 2008 C-Otto talk contribs 1,299 bytes 0 No edit summary

29 March 2008

• curprev 13:3613:36, 29 March 2008 Admin talk contribs m 1,299 bytes 0 Competition moved to Termination Competition
• curprev 13:3513:35, 29 March 2008 Admin talk contribs 1,299 bytes +1,299 New page: = Annual International Termination Competition = During the 90's a number of new, powerful termination methods was developed. Thus, at the the beginning of the millenium many research gro...