User contributions
From Termination-Portal.org
Jump to navigationJump to search- 10:54, 8 May 2018 diff hist -4 m Termination Competition →Annual International Termination Competition
- 10:52, 8 May 2018 diff hist -1 m Termination Competition 2018
- 09:25, 27 April 2018 diff hist -55 Termination Competition 2017
- 07:35, 10 April 2018 diff hist +13 Termination Competition 2017 added Christian and updated Akihisa's affiliation
- 21:09, 7 August 2017 diff hist +257 Nm User talk:Christoph Walther Welcome! current
- 11:20, 17 July 2017 diff hist -55 m Termination Competition 2017 removed Fred from the SC and changed one occurrence of 2016 to 2017
- 12:28, 9 July 2016 diff hist +124 m Termination and Complexity Competition 2016 →Competition Procedure
- 09:08, 23 July 2015 diff hist +256 Nm User talk:Akihisa Yamada Welcome! current
- 21:51, 30 June 2015 diff hist +256 Nm User talk:Sabel Welcome! current
- 08:57, 29 June 2015 diff hist +311 Termination Competition 2015
- 17:07, 31 July 2014 diff hist +274 Termination Competition 2014 Questionnaire →5. What were the most positive aspects of your experience running your competition on StarExec?
- 17:06, 31 July 2014 diff hist +252 Termination Competition 2014 Questionnaire →6. What were the negative aspects?
- 16:00, 17 June 2014 diff hist +142 Integer Term Rewriting current
- 15:58, 17 June 2014 diff hist +41 Integer Term Rewriting
- 11:59, 26 May 2014 diff hist +174 Termination Competition 2014 →Competition Categories and Awards
- 11:58, 26 May 2014 diff hist -153 Termination Competition 2014 →Competition Procedure
- 11:58, 26 May 2014 diff hist +153 Termination Competition 2014 →Competition Procedure
- 11:32, 26 May 2014 diff hist 0 m Termination Competition 2014 →Registration info (tentative)
- 11:32, 26 May 2014 diff hist 0 m Termination Competition 2014 →Competition procedure
- 11:32, 26 May 2014 diff hist 0 m Termination Competition 2014 →New categories