User contributions
From Termination-Portal.org
Jump to navigationJump to search- 15:13, 1 March 2011 diff hist +331 Complexity:Rules →Problem Sets and Problem Selection
- 15:13, 1 March 2011 diff hist +55,775 N File:Oops-8.0.txt Yes-instances of Oops on TPDB 8.0 current
- 15:06, 1 March 2011 diff hist +31,417 N File:Duplicates-8.0.txt Problems appearing at least twice in the TPDB 8.0 current
- 15:05, 1 March 2011 diff hist +105,987 N File:DC-8.0.txt DC testbed for TPDB 8.0 current
- 15:04, 1 March 2011 diff hist +63,974 N File:RC-8.0.txt RC testbed for TPDB 8.0 current
- 03:53, 15 April 2010 diff hist +1,508 N Complexity:Techniques Created page with 'This page is for listing all techniques applied by the participants of the complexity competitions. '''Be aware:''' the lists are still preliminary. == Derivational Complexity…'
- 03:44, 15 April 2010 diff hist +8,526 N Complexity:Rules initial content, from page Complexity
- 07:58, 29 March 2010 diff hist -55 m Complexity Techniques →Runtime Complexity current
- 08:08, 27 March 2010 diff hist +730 Complexity Techniques
- 07:50, 27 March 2010 diff hist -117 Complexity Techniques →Derivational Complexity
- 14:53, 4 December 2009 diff hist +125 Complexity:Old →Problem selection
- 08:08, 12 November 2009 diff hist -134 Complexity:Old
- 07:48, 12 November 2009 diff hist +47 Complexity:Old →Competition 2009
- 07:46, 12 November 2009 diff hist +1 Complexity:Old →Participation
- 07:45, 12 November 2009 diff hist +148 Complexity:Old →Participants
- 13:19, 10 November 2009 diff hist -31 Complexity:Old →Selection function
- 13:18, 10 November 2009 diff hist -390 Complexity:Old →Questions
- 13:16, 10 November 2009 diff hist -58 Complexity:Old →Overview of the Event
- 13:14, 10 November 2009 diff hist -115 Complexity:Old →Selection function
- 13:13, 10 November 2009 diff hist -696 Complexity:Old →Syntax/Semantics for Input/Output
- 13:02, 10 November 2009 diff hist +272 Complexity:Old →Selection function
- 10:24, 10 November 2009 diff hist +1,540 Complexity:Old →Problem selection
- 17:36, 20 October 2008 diff hist -1,179 Complexity:Old →Problem selection
- 17:03, 20 October 2008 diff hist -438 Complexity:Old →Scoring
