User contributions
From Termination-Portal.org
Jump to navigationJump to search- 22:04, 26 July 2017 diff hist +7 Termination Competition 2017 Registration →Solvers
- 09:55, 1 June 2017 diff hist +392 Termination Competition →Competition Categories
- 15:42, 10 April 2017 diff hist +4 Termination Competition 2016 Data
- 22:04, 8 March 2017 diff hist +78 Termination Competition →History of Termination Competitions
- 22:02, 8 March 2017 diff hist -38 Termination Competition
- 22:00, 8 March 2017 diff hist +3 WST
- 11:29, 7 September 2016 diff hist -1 Termination Competition 2016 Data
- 11:28, 7 September 2016 diff hist +90 Termination Competition 2016 Data →Comments
- 07:43, 6 September 2016 diff hist +120 Termination Competition 2016 Data
- 07:35, 6 September 2016 diff hist +25 Termination Competition 2016 Data →Timeline
- 07:17, 6 September 2016 diff hist +212 Termination Competition 2016 Data
- 22:47, 5 September 2016 diff hist +195 Termination Competition 2016 Data
- 21:18, 5 September 2016 diff hist +1 Termination Competition 2016 Data
- 21:17, 5 September 2016 diff hist +70 Termination Competition 2016 Data
- 21:15, 5 September 2016 diff hist +101 Termination Competition 2016 Data →Timeline
- 21:12, 5 September 2016 diff hist +219 N Termination Competition 2016 Data Created page with "== Timeline == (all times are CEST) * around 09:00 start Termination and Complexity Analysis of Programs * around 11:00 start Termination and Complexity Analysis of Rewritin..."
- 21:06, 5 September 2016 diff hist 0 Termination and Complexity Competition 2016 →Dates current
- 21:06, 5 September 2016 diff hist +61 Termination and Complexity Competition 2016 →Dates
- 01:31, 5 September 2016 diff hist -301 Termination Competition 2016 Registration →Test Runs current
- 21:51, 1 September 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs