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