User contributions
From Termination-Portal.org
Jump to navigationJump to search- 11:18, 2 December 2016 diff hist +11 TPDB updated link to converter
- 10:25, 6 September 2016 diff hist -77 Tools:CeTA Updated members of CeTA developers current
- 08:33, 8 August 2016 diff hist +1 Termination and Complexity Competition 2016 Akihisa Yamada takes care of TPDB submissions
- 08:33, 8 August 2016 diff hist +48 Termination and Complexity Competition 2016 Akihisa Yamada takes care of TPDB submissions
- 17:06, 9 July 2016 diff hist +697 N News:Termination and Complexity Competition 2016 entry for competition 2016 current
- 17:37, 8 July 2016 diff hist +236 Termination and Complexity Competition 2016
- 17:34, 8 July 2016 diff hist -74 Termination and Complexity Competition 2016 removed preliminary disclaimer
- 07:35, 8 July 2016 diff hist -11 Termination and Complexity Competition 2016 No Awards
- 12:48, 7 July 2016 diff hist 0 m Termination and Complexity Competition 2016 Thiemann moved page Termination Competition 2016 to Termination and Complexity Competition 2016
- 12:48, 7 July 2016 diff hist +57 N Termination Competition 2016 Thiemann moved page Termination Competition 2016 to Termination and Complexity Competition 2016 current
- 12:48, 7 July 2016 diff hist +6,614 N Termination and Complexity Competition 2016 Draft version of termination and complexity competition 2016
- 11:58, 2 May 2016 diff hist 0 m News:Workshop on Termination 2016: September 5-7 at Computational Logic in the Alps Thiemann moved page News:Workshop on Termination 2016: September 5-6 at Computational Logic in the Alps to News:Workshop on Termination 2016: September 5-7 at Computational Logic in the Alps: corrected date of WST 2016 current
- 11:58, 2 May 2016 diff hist +97 N News:Workshop on Termination 2016: September 5-6 at Computational Logic in the Alps Thiemann moved page News:Workshop on Termination 2016: September 5-6 at Computational Logic in the Alps to News:Workshop on Termination 2016: September 5-7 at Computational Logic in the Alps: corrected date of WST 2016 current
- 11:57, 2 May 2016 diff hist 0 News:Workshop on Termination 2016: September 5-7 at Computational Logic in the Alps Corrected Date of WST 2016
- 11:57, 2 May 2016 diff hist 0 WST corrected date of WST 2016
- 11:51, 2 May 2016 diff hist +710 N News:Workshop on Termination 2016: September 5-7 at Computational Logic in the Alps Adding WST 2016
- 11:41, 2 May 2016 diff hist +140 WST link to WST 2016 and CLA 2016 pages
- 14:19, 14 October 2015 diff hist 0 TPDB inserted correct TPDB version for termComp 2015
- 11:00, 9 July 2015 diff hist +13 TPDB →Data
- 07:33, 1 July 2015 diff hist 0 m Termination Competition 2015 →Contact
- 07:32, 1 July 2015 diff hist +69 Termination Competition 2015 indicate where to send new examples
- 13:41, 24 June 2015 diff hist +757 Termination Competition 2015 Changes in CPF and in complexity
- 07:50, 6 June 2015 diff hist 0 m Termination Competition 2015
- 07:40, 6 June 2015 diff hist +9 Termination Competition 2015 changed submission of tool deadline
- 07:35, 31 July 2014 diff hist +57 m TPDB →Syntax and semantics specification
- 07:34, 31 July 2014 diff hist +128 TPDB fixed links which now point into repository for TPDB
- 07:28, 31 July 2014 diff hist +70 TPDB changed link from termcomp into TPDB-repository
- 07:14, 31 July 2014 diff hist +33 m XTC Format Specification →Schema current
- 07:13, 31 July 2014 diff hist +61 m XTC Format Specification →Schema
- 07:13, 31 July 2014 diff hist +272 XTC Format Specification corrected link to XSL-transformations
- 07:03, 31 July 2014 diff hist +2 m XTC Format Specification →Schema
- 07:03, 31 July 2014 diff hist +245 XTC Format Specification Correct link to schema
- 08:25, 24 July 2014 diff hist +199 Termination Competition →History of Termination Competitions
- 09:34, 4 July 2014 diff hist +73 TPDB Added link to new to TPDB location
- 11:30, 12 June 2014 diff hist +2 TPDB fixed links to more recent versions of converter
- 17:14, 7 May 2014 diff hist +250 Tools:CeTA add links to feature list of CeTA
- 13:38, 24 February 2014 diff hist -10 m TPDB →Data
- 11:54, 3 July 2013 diff hist +154 N News:Termination Competition 2013: June 24 - June 26 Created page with "{{News |text=The Termination Competition 2013 took place "live" during the [http://rta2013.few.vu.nl RTA conference]. |date=June 24 - June 26, 2013 }}" current
- 11:48, 3 July 2013 diff hist +194 Termination Competition
- 11:46, 3 July 2013 diff hist +13 TPDB
- 15:34, 17 June 2013 diff hist 0 Termination Competition 2013 current
- 08:04, 10 July 2012 diff hist +36 TPDB
- 14:34, 9 July 2012 diff hist -31 Termination Competition
- 04:07, 29 June 2012 diff hist -43 Termination Competition 2012 Comments updated numbers after end of competition current
- 11:32, 28 June 2012 diff hist +3 m Termination Competition 2012 Comments
- 08:49, 28 June 2012 diff hist +35 Termination Competition 2012 Comments
- 08:46, 28 June 2012 diff hist +69 News:Termination Competition 2012: June 26 - June 29 current
- 08:45, 28 June 2012 diff hist +306 Termination Competition 2012 Comments
- 08:39, 28 June 2012 diff hist +122 Termination Competition 2012 Comments
- 08:29, 28 June 2012 diff hist +215 Termination Competition 2012 Comments
- 08:20, 28 June 2012 diff hist +297 Termination Competition 2012 Comments
- 08:15, 28 June 2012 diff hist +373 Termination Competition 2012 Comments
- 08:06, 28 June 2012 diff hist +6 m Termination Competition 2012 Comments
- 08:05, 28 June 2012 diff hist +2,027 Termination Competition 2012 Comments
- 14:33, 26 June 2012 diff hist +1 m News:Termination Competition 2012: June 26 - June 29
- 14:30, 26 June 2012 diff hist +167 N News:Termination Competition 2012: June 26 - June 29 Created page with " {{News |text=The Termination Competition 2012 takes place "live" during the [http://ijcar.cs.manchester.ac.uk/ IJCAR conference]. |date=June 26 - June 29, 2012 }}"
- 11:18, 19 June 2012 diff hist +546 Star Exec →Running the Competition
- 11:07, 19 June 2012 diff hist +374 Star Exec →Extra Features
- 15:52, 19 April 2012 diff hist +287 Termination Competition 2012
- 10:41, 26 January 2012 diff hist 0 Termination Competition Steering Committee updated SC
- 14:59, 12 December 2011 diff hist +359 News:Plan for complete run (all tools, all problems) current
- 14:40, 9 May 2011 diff hist +226 Termination Competition 2011
- 12:16, 29 June 2010 diff hist -124 Termination Competition 2010 current
- 06:33, 7 October 2009 diff hist +5 News:Certification Problem Format
- 10:04, 29 September 2009 diff hist +683 N News:Certification Problem Format 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 …'
- 09:57, 29 September 2009 diff hist +121 WScT current
- 09:54, 29 September 2009 diff hist +4 Bibtex:TS09 current
- 08:46, 17 June 2009 diff hist +5 Tools:IsaFoR
- 08:44, 17 June 2009 diff hist +723 N Tools:IsaFoR 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...
- 08:40, 17 June 2009 diff hist +607 N Bibtex:TS09 New page: <!-- remove this line if this is not a new publication --> == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> ...
- 08:38, 17 June 2009 diff hist +62 Tools:CeTA
- 12:26, 14 November 2008 diff hist +332 Outermost
- 15:40, 3 November 2008 diff hist +12 Outermost
- 10:58, 3 November 2008 diff hist +476 Outermost
- 09:58, 20 May 2008 diff hist -37 WScT08 →Material
- 10:10, 19 May 2008 diff hist +404 WScT08 →Material
- 09:44, 19 May 2008 diff hist +31 WScT08 →Results (Competition)
- 09:39, 19 May 2008 diff hist +376 WScT08 →Results (Competition)
- 09:11, 19 May 2008 diff hist +120 WScT08 →Results (Competition)
- 08:58, 19 May 2008 diff hist +237 WScT08 →Results (Competition)
- 08:13, 19 May 2008 diff hist -3 WScT08 →Results (Competition)
- 08:12, 19 May 2008 diff hist +1,269 WScT08 →Results (Competition)
- 12:29, 17 May 2008 diff hist +2 m WScT08
- 12:25, 17 May 2008 diff hist -35 WScT08
- 14:30, 15 May 2008 diff hist +10 WScT08
- 06:49, 14 April 2008 diff hist +216 WScT08
- 06:38, 14 April 2008 diff hist -24 Termination Competition
- 14:17, 10 April 2008 diff hist 0 People:René Thiemann current
- 14:16, 10 April 2008 diff hist +3 People:René Thiemann
- 14:12, 10 April 2008 diff hist +33 m WScT08