User contributions for Thiemann

08:2508:25, 17 June 2026 diff hist −1,813 Termination Competition Certified Categories Competition updated some parts of the very outdated description of certified category (might require further changes) current
08:0408:04, 17 June 2026 diff hist −5 Termination Competition 2026 change website of CPF

07:3907:39, 27 May 2026 diff hist −68 Tools:IsaFoR Update website of IsaFoR current
07:3807:38, 27 May 2026 diff hist −31 Tools:CeTA update website of Ceta current

13:2613:26, 14 April 2025 diff hist +15 20th International Workshop on Termination change HTWK Leipzig URL to more concrete WST 2025 website

11:1811:18, 2 December 2016 diff hist +11 TPDB updated link to converter

10:2510:25, 6 September 2016 diff hist −77 Tools:CeTA Updated members of CeTA developers

08:3308:33, 8 August 2016 diff hist +1 Termination and Complexity Competition 2016 Akihisa Yamada takes care of TPDB submissions
08:3308:33, 8 August 2016 diff hist +48 Termination and Complexity Competition 2016 Akihisa Yamada takes care of TPDB submissions

17:0617:06, 9 July 2016 diff hist +697 N News:Termination and Complexity Competition 2016 entry for competition 2016 current

17:3717:37, 8 July 2016 diff hist +236 Termination and Complexity Competition 2016 No edit summary
17:3417:34, 8 July 2016 diff hist −74 Termination and Complexity Competition 2016 removed preliminary disclaimer
07:3507:35, 8 July 2016 diff hist −11 Termination and Complexity Competition 2016 No Awards

12:4812: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:4812: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:4812:48, 7 July 2016 diff hist +6,614 N Termination and Complexity Competition 2016 Draft version of termination and complexity competition 2016

11:5811: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:5811: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:5711: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:5711:57, 2 May 2016 diff hist 0 WST corrected date of WST 2016
11:5111: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:4111:41, 2 May 2016 diff hist +140 WST link to WST 2016 and CLA 2016 pages

14:1914:19, 14 October 2015 diff hist 0 TPDB inserted correct TPDB version for termComp 2015

11:0011:00, 9 July 2015 diff hist +13 TPDB →Data

07:3307:33, 1 July 2015 diff hist 0 m Termination Competition 2015 →Contact
07:3207:32, 1 July 2015 diff hist +69 Termination Competition 2015 indicate where to send new examples

13:4113:41, 24 June 2015 diff hist +757 Termination Competition 2015 Changes in CPF and in complexity

07:5007:50, 6 June 2015 diff hist 0 m Termination Competition 2015 No edit summary
07:4007:40, 6 June 2015 diff hist +9 Termination Competition 2015 changed submission of tool deadline

07:3507:35, 31 July 2014 diff hist +57 m TPDB →Syntax and semantics specification
07:3407:34, 31 July 2014 diff hist +128 TPDB fixed links which now point into repository for TPDB
07:2807:28, 31 July 2014 diff hist +70 TPDB changed link from termcomp into TPDB-repository
07:1407:14, 31 July 2014 diff hist +33 m XTC Format Specification →Schema current
07:1307:13, 31 July 2014 diff hist +61 m XTC Format Specification →Schema
07:1307:13, 31 July 2014 diff hist +272 XTC Format Specification corrected link to XSL-transformations
07:0307:03, 31 July 2014 diff hist +2 m XTC Format Specification →Schema
07:0307:03, 31 July 2014 diff hist +245 XTC Format Specification Correct link to schema

08:2508:25, 24 July 2014 diff hist +199 Termination Competition →History of Termination Competitions

09:3409:34, 4 July 2014 diff hist +73 TPDB Added link to new to TPDB location

11:3011:30, 12 June 2014 diff hist +2 TPDB fixed links to more recent versions of converter

17:1417:14, 7 May 2014 diff hist +250 Tools:CeTA add links to feature list of CeTA

13:3813:38, 24 February 2014 diff hist −10 m TPDB →Data

11:5411: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:4811:48, 3 July 2013 diff hist +194 Termination Competition No edit summary
11:4611:46, 3 July 2013 diff hist +13 TPDB No edit summary

15:3415:34, 17 June 2013 diff hist 0 Termination Competition 2013 No edit summary current

08:0408:04, 10 July 2012 diff hist +36 TPDB No edit summary

14:3414:34, 9 July 2012 diff hist −31 Termination Competition No edit summary

04:0704:07, 29 June 2012 diff hist −43 Termination Competition 2012 Comments updated numbers after end of competition current

11:3211:32, 28 June 2012 diff hist +3 m Termination Competition 2012 Comments No edit summary

17 June 2026

27 May 2026

14 April 2025

2 December 2016

6 September 2016

8 August 2016

9 July 2016

8 July 2016

7 July 2016

2 May 2016

14 October 2015

9 July 2015

1 July 2015

24 June 2015

6 June 2015

31 July 2014

24 July 2014

4 July 2014

12 June 2014

7 May 2014

24 February 2014

3 July 2013

17 June 2013

10 July 2012

9 July 2012

29 June 2012

28 June 2012