User contributions
From Termination-Portal.org
Jump to navigationJump to search- 22:47, 30 September 2012 diff hist +143 WST
- 11:01, 28 June 2012 diff hist +1 Complexity current
- 12:08, 8 June 2012 diff hist +25 Complexity
- 12:05, 8 June 2012 diff hist -10,429 Complexity:Old Replaced content with "<pre> This page is no longer maintained. </pre> The entry point to the complexity category is here: [http://cl-informatik.uibk.ac.at/users/georg/cbr/competition/ complex..." current
- 12:00, 8 June 2012 diff hist +23 Complexity
- 11:59, 8 June 2012 diff hist -47 Complexity
- 11:59, 8 June 2012 diff hist +32 Complexity:Techniques current
- 11:58, 8 June 2012 diff hist +23 Complexity:Rules current
- 11:57, 8 June 2012 diff hist +9 Complexity:Rules
- 11:57, 8 June 2012 diff hist +8 Complexity
- 11:56, 8 June 2012 diff hist -17 Complexity:Old
- 11:52, 8 June 2012 diff hist -1 Complexity
- 11:48, 8 June 2012 diff hist 0 Complexity:Old
- 11:48, 8 June 2012 diff hist +60 Complexity:Old
- 11:47, 8 June 2012 diff hist +708 N News:Complexity Wiki Moved 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..." current
- 11:42, 8 June 2012 diff hist 0 Termination Competition
- 11:41, 8 June 2012 diff hist +30 Termination Competition
- 11:40, 8 June 2012 diff hist +19 Termination Competition
- 11:39, 8 June 2012 diff hist +33 Complexity:Techniques
- 11:38, 8 June 2012 diff hist +88 Complexity:Rules
- 11:38, 8 June 2012 diff hist +30 Complexity
- 11:35, 8 June 2012 diff hist +165 Complexity:Techniques
- 11:34, 8 June 2012 diff hist +110 Complexity:Rules
- 11:33, 8 June 2012 diff hist +6 Complexity
- 11:32, 8 June 2012 diff hist +162 Complexity
- 08:39, 2 November 2011 diff hist 0 WST
- 20:16, 21 October 2011 diff hist +61 WST
- 14:08, 15 April 2011 diff hist +78 WST
- 14:40, 22 June 2010 diff hist +29 Complexity →Important Dates
- 14:40, 22 June 2010 diff hist +29 Complexity →Important Dates
- 14:35, 22 June 2010 diff hist +31 Complexity:Old
- 14:33, 22 June 2010 diff hist -126 Complexity:Old
- 14:32, 22 June 2010 diff hist +116 Complexity:Old
- 14:31, 22 June 2010 diff hist +7 News:Complexity Wiki Updated current
- 14:30, 22 June 2010 diff hist +607 N News:Complexity Wiki Updated 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 …'
- 14:25, 22 June 2010 diff hist +245 Complexity:Rules →Problem Sets and Problem Selection
- 14:21, 22 June 2010 diff hist 0 Complexity:Rules →Problem Sets and Problem Selection
- 14:19, 22 June 2010 diff hist +802 Complexity:Rules →Problem Sets and Problem Selection
- 14:09, 22 June 2010 diff hist +399 Complexity:Rules →Concrete syntax
- 14:05, 22 June 2010 diff hist +238 Complexity:Rules →Scoring (proposals)
- 14:01, 22 June 2010 diff hist +145 Complexity:Rules →Lower Bounds
- 08:36, 25 May 2010 diff hist +5,206 Complexity new structure
- 08:34, 25 May 2010 diff hist 0 m Complexity:Old moved Complexity to Complexity:Old
- 08:34, 25 May 2010 diff hist +28 N Complexity moved Complexity to Complexity:Old
- 14:31, 24 February 2009 diff hist +584 N News:XTC Format Specification New page: <!-- 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 to link to... current
- 09:41, 30 October 2008 diff hist +26 Complexity:Old →Problem selection
- 19:48, 28 October 2008 diff hist 0 Complexity:Old →Syntax/Semantics for Input/Output
- 19:00, 28 October 2008 diff hist +40 Complexity:Old →Syntax/Semantics for Input/Output
- 18:46, 28 October 2008 diff hist -48 Complexity:Old →Syntax/Semantics for Input/Output
- 15:37, 28 October 2008 diff hist +30 Complexity:Old →Syntax/Semantics for Input/Output
- 15:36, 28 October 2008 diff hist +53 Complexity:Old →Syntax/Semantics for Input/Output
- 15:34, 28 October 2008 diff hist +4 Complexity:Old →Syntax/Semantics for Input/Output
- 15:34, 28 October 2008 diff hist +2 Complexity:Old →Syntax/Semantics for Input/Output
- 12:35, 28 October 2008 diff hist +11 Complexity:Old →Questions
- 12:34, 28 October 2008 diff hist +13 Complexity:Old →Wishlist
- 12:34, 28 October 2008 diff hist +36 Complexity:Old →Problem selection
- 12:33, 28 October 2008 diff hist -159 Complexity:Old →Problem selection
- 12:32, 28 October 2008 diff hist +8 Complexity:Old →Problem selection
- 12:32, 28 October 2008 diff hist +11 Complexity:Old →Problem selection
- 12:31, 28 October 2008 diff hist -4 Complexity:Old →Syntax/Semantics for Input/Output
- 12:31, 28 October 2008 diff hist +13 Complexity:Old →Syntax/Semantics for Input/Output
- 12:31, 28 October 2008 diff hist +716 Complexity:Old →Syntax/Semantics for Input/Output
- 12:29, 28 October 2008 diff hist -763 Complexity:Old →Wishlist
- 12:28, 28 October 2008 diff hist -22 Complexity:Old →Wishlist
- 12:28, 28 October 2008 diff hist +16 Complexity:Old →Wishlist
- 12:27, 28 October 2008 diff hist -10 Complexity:Old →Wishlist
- 12:25, 28 October 2008 diff hist +779 Complexity:Old →Wishlist
- 12:19, 28 October 2008 diff hist -4 Complexity:Old →Syntax/Semantics for Input/Output
- 12:18, 28 October 2008 diff hist +119 Complexity:Old →Syntax/Semantics for Input/Output
- 12:08, 28 October 2008 diff hist +111 Complexity:Old →Questions
- 18:16, 20 October 2008 diff hist +185 Complexity:Old →Problem selection
- 13:31, 20 October 2008 diff hist +2 Complexity:Old
- 13:31, 20 October 2008 diff hist +70 Complexity:Old
- 13:29, 20 October 2008 diff hist +14 Complexity:Old →Problem selection
- 13:28, 20 October 2008 diff hist +2 Complexity:Old →Problem selection
- 13:28, 20 October 2008 diff hist +225 Complexity:Old
- 13:21, 20 October 2008 diff hist +9 Complexity:Old →Syntax/Semantics for Input/Output
- 13:21, 20 October 2008 diff hist +268 Complexity:Old →Syntax/Semantics for Input/Output
- 13:15, 20 October 2008 diff hist +19 Complexity:Old
- 13:06, 20 October 2008 diff hist 0 Complexity:Old →Questions
- 13:05, 20 October 2008 diff hist +441 Complexity:Old →Scoring
- 12:46, 20 October 2008 diff hist +185 Complexity:Old →Questions
- 12:43, 20 October 2008 diff hist +432 Complexity:Old →Wishlist
- 12:38, 20 October 2008 diff hist -5 Complexity:Old →Problem selection
- 12:37, 20 October 2008 diff hist -72 Complexity:Old →Questions
- 12:36, 20 October 2008 diff hist +1,623 Complexity:Old
- 12:32, 20 October 2008 diff hist +1,582 Complexity:Old
- 12:19, 20 October 2008 diff hist +83 Complexity:Old
- 12:18, 20 October 2008 diff hist +798 Complexity:Old →Rules (Current Proposal)
- 12:09, 20 October 2008 diff hist +42 Complexity:Old →Participants
- 14:43, 17 July 2008 diff hist +628 N People:Georg Moser New page: <!-- Please fill in the data so that you can be added to some default categories and a simple user page can be created. You may extend that user page yourself after th... current