User contributions
From Termination-Portal.org
Jump to navigationJump to search- 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
- 22:48, 7 December 2009 diff hist +358 TPDB
- 22:44, 7 December 2009 diff hist +60 TPDB
- 22:38, 7 December 2009 diff hist +66 TPDB
- 12:41, 1 December 2009 diff hist 0 Complexity:Old →Participation
- 12:40, 1 December 2009 diff hist -72 Complexity:Old →Competition 2008
- 12:40, 1 December 2009 diff hist +70 Complexity:Old →Competition 2009
- 14:59, 27 November 2009 diff hist +591 N Integer Term Rewriting Created page with 'The main idea of ITRSs is to add pre-defined constructors for integers (the integers themselves) and Booleans (true / false) and arithmetic, relational and Boolean functions like…'
- 14:56, 27 November 2009 diff hist +56 Termination Competition →Competition Categories
- 14:33, 27 November 2009 diff hist +1 News:Termination Competition 2009 in December current
- 14:32, 27 November 2009 diff hist +27 News:Termination Competition 2009 in December
- 14:30, 27 November 2009 diff hist +655 N News:Termination Competition 2009 in December 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:27, 27 November 2009 diff hist +53 Termination Competition
- 14:16, 27 November 2009 diff hist +171 Termination Competition
- 11:01, 23 June 2009 diff hist +111 Termination Competition →Annual International Termination Competition
- 11:00, 23 June 2009 diff hist +78 Termination Competition →Annual International Termination Competition
- 13:08, 15 June 2009 diff hist +13 Functional Programming