User contributions
From Termination-Portal.org
Jump to navigationJump to search- 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
- 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
- 13:08, 15 June 2009 diff hist +103 Functional Programming
- 12:47, 15 June 2009 diff hist +560 N Functional Programming New page: Within the Termination Competition, there is a category on Functional Programming where the object is to prove termination of Haskell functions automatically. Currently, the Termination P...
- 12:31, 5 June 2009 diff hist +476 TC SC Meeting WST09 →Report on the TC SC Meeting, Wednesday, 3 June 2009, Leipzig current
- 20:02, 3 June 2009 diff hist 0 TC SC Meeting WST09 →Report on the TC SC Meeting, Wednesday, 3 June 2009, Leipzig
- 20:01, 3 June 2009 diff hist +45 TC SC Meeting WST09 →Items proposed for the agenda
- 19:58, 3 June 2009 diff hist +486 TC SC Meeting WST09 →Items adopted for inclusion in the agenda
- 17:22, 20 May 2009 diff hist -165 TC SC Meeting WST09
- 05:40, 20 May 2009 diff hist +262 TC SC Meeting WST09
- 05:37, 20 May 2009 diff hist +20 Tools:Nonloop current
- 05:35, 20 May 2009 diff hist +538 N Bibtex:Oppelt08 New page: == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> @mastersthesis{Oppelt08, author="Martin Oppelt", title="Automatische Erkennung von Able... current
- 05:25, 20 May 2009 diff hist +57 Tools:Matchbox
- 12:43, 18 May 2009 diff hist +849 N Tools:TrafO New page: <!-- Please fill in the data so that your tool can be added to some default categories and a simple tool page can be created. You may extend that tool page yourself af...
- 11:01, 15 May 2009 diff hist +298 TC SC Meeting WST09
- 16:46, 14 May 2009 diff hist +471 N TC SC Meeting WST09 New page: The TC SC will hold session on Wednesday, June 3rd, 2009, in Leipzig, during the Workshop on Termination. (Exact time of day will be announced after scheduling the regular workshop talks....
- 16:33, 14 May 2009 diff hist +129 Termination Competition Steering Committee
- 12:04, 13 May 2009 diff hist +572 N Tools:A3PAT New page: <!-- Please fill in the data so that your tool can be added to some default categories and a simple tool page can be created. You may extend that tool page yourself af...
- 07:49, 13 May 2009 diff hist +368 N TPDB New page: The Termination Problems Data Base collects termination problems that are being used in termination competitions. Syntax and semantics specification: * for versions up to 5.*: http://www....
- 07:39, 13 May 2009 diff hist +97 Termination Competition →Annual International Termination Competition
- 22:51, 12 May 2009 diff hist +73 Tools:Cime
- 22:43, 12 May 2009 diff hist +578 N Tools:Polytool New page: <!-- Please fill in the data so that your tool can be added to some default categories and a simple tool page can be created. You may extend that tool page yourself af...