User contributions
From Termination-Portal.org
Jump to navigationJump to search- 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
- 11:32, 26 May 2014 diff hist 0 Termination Competition 2014 →Competition procedure
- 11:26, 26 May 2014 diff hist +3 m Termination Competition 2014 →Contact
- 11:26, 26 May 2014 diff hist +1 m Termination Competition 2014 →Technical Detail
- 11:25, 26 May 2014 diff hist +6 m Termination Competition 2014 →Registration info (tentative)
- 11:24, 26 May 2014 diff hist +1 m Termination Competition 2014 →Registration info (tentative)
- 11:24, 26 May 2014 diff hist +97 Termination Competition 2014 →Registration info (tentative)
- 11:17, 26 May 2014 diff hist +27 m Termination Competition 2014 →Committees
- 11:16, 26 May 2014 diff hist +26 Termination Competition 2014 →Competition procedure
- 11:15, 26 May 2014 diff hist 0 m Termination Competition 2014 →Competition procedure
- 11:15, 26 May 2014 diff hist 0 Termination Competition 2014 →Competition procedure