User contributions
From Termination-Portal.org
Jump to navigationJump to search- 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