User contributions
From Termination-Portal.org
Jump to navigationJump to search- 14:49, 3 December 2011 diff hist +113 Termination Competition →Upcoming Competition
- 14:48, 3 December 2011 diff hist -5 News:Plan for Termination Competition 2012 current
- 14:47, 3 December 2011 diff hist +667 N News:Plan for complete run (all tools, all problems) Created page with " <!-- Please insert the corresponding information below so that the news page can be generated automatically. Line breaks are allowed! You may use MediaWiki syntax h..."
- 14:43, 3 December 2011 diff hist +4 News:Plan for Termination Competition 2012
- 14:40, 3 December 2011 diff hist +714 N News:Plan for Termination Competition 2012 Created page with " <!-- Please insert the corresponding information below so that the news page can be generated automatically. Line breaks are allowed! You may use MediaWiki syntax h..."
- 08:47, 10 October 2011 diff hist -11 Termination Competition →History of Termination Competitions
- 08:46, 10 October 2011 diff hist +1 Termination Competition →History of Termination Competitions
- 08:46, 10 October 2011 diff hist +228 Termination Competition →History of Termination Competitions
- 08:36, 10 October 2011 diff hist -21 Termination Competition →History of Termination Competitions
- 08:36, 10 October 2011 diff hist +34 Termination Competition →History of Termination Competitions
- 08:35, 10 October 2011 diff hist +155 Termination Competition 2011 current
- 08:34, 10 October 2011 diff hist +144 Termination Competition
- 10:52, 19 May 2011 diff hist +95 Termination Competition 2011
- 14:03, 19 April 2011 diff hist 0 Termination Competition 2011
- 11:01, 19 April 2011 diff hist +65 Termination Competition →Annual International Termination Competition
- 10:59, 19 April 2011 diff hist +1 News:Termination Competition 2011: May 30 - June 1 current
- 10:58, 19 April 2011 diff hist -4 News:Termination Competition 2010 in July current
- 10:58, 19 April 2011 diff hist +220 N Termination Competition 2011 Created page with "Important dates * Software requests: May 13 2010 * Problem submission: May 27 2011, 12:01 CET * Tool submission: May 27 2011, 12:01 CET * Competition start: May 30 2011..."
- 10:57, 19 April 2011 diff hist +9 News:Termination Competition 2011: May 30 - June 1
- 10:55, 19 April 2011 diff hist +646 N News:Termination Competition 2011: May 30 - June 1 Created page with "<!-- Please insert the corresponding information below so that the news page can be generated automatically. Line breaks are allowed! You may use MediaWiki syntax here ..."
- 10:39, 17 January 2011 diff hist +15 Tools:CoLoR
- 13:15, 18 May 2010 diff hist +386 Termination Competition 2010 provisional timeline
- 15:16, 29 April 2010 diff hist +1 Termination Competition 2010
- 15:15, 29 April 2010 diff hist +94 Termination Competition 2010
- 15:12, 29 April 2010 diff hist +112 Termination Competition 2010
- 15:09, 29 April 2010 diff hist +232 Termination Competition 2010
- 11:08, 29 April 2010 diff hist -12 News:Termination Competition 2010 in July
- 11:08, 29 April 2010 diff hist +114 N News:Termination Competition 2010 in July Created page with '{{News |text=The Termination_Competition_2010 will be run during FLoC in July. |date=July 9 - July 21, 2010 }}'
- 11:05, 29 April 2010 diff hist +123 N Termination Competition 2010 Created page with 'The termination competition will be run during the Federated Logic Conference http://www.floc-conference.org/ in July 2010.'
- 11:02, 29 April 2010 diff hist +52 Termination Competition move 2009 to "past"
- 12:36, 11 February 2010 diff hist +76 TPDB →Data
- 14:39, 15 January 2010 diff hist +171 Complexity:Old →lower bounds
- 11:36, 30 December 2009 diff hist +39 Suggestions current
- 11:34, 30 December 2009 diff hist +62 Suggestions
- 20:54, 22 December 2009 diff hist +305 Complexity:Old →lower bounds
- 20:49, 22 December 2009 diff hist +239 Complexity:Old →Concrete syntax
- 09:26, 21 December 2009 diff hist +67 Suggestions
- 09:15, 21 December 2009 diff hist +284 N Suggestions Created page with 'Suggestions to improve http://www.termination-portal.org/ * group the various competition categories (listed here: http://www.termination-portal.org/wiki/Termination_Competition…'
- 09:13, 21 December 2009 diff hist +32 Termination Portal
- 09:09, 21 December 2009 diff hist +30 Termination Competition →Competition Categories
- 08:50, 21 December 2009 diff hist +70 Tools:Matchbox
- 12:39, 18 December 2009 diff hist +67 Termination Competition →History of Termination Competitions
- 19:36, 14 December 2009 diff hist +1 Complexity:Old →Competition 2009
- 19:36, 14 December 2009 diff hist +9 Complexity:Old →Competition 2009
- 18:03, 11 December 2009 diff hist +442 Complexity:Old →lower bounds
- 17:48, 11 December 2009 diff hist +101 Complexity:Old
- 12:41, 10 December 2009 diff hist +842 N Certified Termination Created page with 'From the rules of the 2009 competition: The certified categories will be run as follows: * After the corresponding uncertified category of the competition has finished, the prob…'
- 12:36, 10 December 2009 diff hist +12 Termination Competition →Competition Categories
- 12:36, 10 December 2009 diff hist -35 Termination Competition →Competition Categories
- 12:00, 10 December 2009 diff hist +109 TPDB →Syntax and semantics specification