User contributions
From Termination-Portal.org
Jump to navigationJump to search- 14:41, 20 December 2024 diff hist +9 20th International Workshop on Termination current
- 15:29, 3 July 2024 diff hist 0 WST add ref current
- 15:28, 3 July 2024 diff hist +46 WST add ref
- 19:53, 28 June 2024 diff hist +209 WST replaced inaccessible URLs with links to archive.org
- 19:46, 28 June 2024 diff hist +43 WST
- 19:43, 28 June 2024 diff hist +44 WST
- 19:42, 28 June 2024 diff hist +44 WST
- 19:39, 28 June 2024 diff hist +43 WST
- 17:47, 31 January 2024 diff hist +221 N 20th International Workshop on Termination Created page with "The 20th Intl. Workshop on Termination will take place at [https://informatik.htwk-leipzig.de/ HTWK Leipzig, Germany], in summer 2025. [https://www.imn.htwk-leipzig.de/~waldma..."
- 17:39, 31 January 2024 diff hist +4 WST
- 09:36, 7 December 2023 diff hist +77 WST add WST 2025 plan
- 15:02, 5 March 2019 diff hist +87 Termination Competition 2019 →StarExec Information
- 17:54, 26 July 2018 diff hist -3 News:Termination Competition 2019 current
- 17:54, 26 July 2018 diff hist +604 N News:Workshop on Termination 2020 Created page with " <!-- Please insert the corresponding information below so that the news page can be generated automatically. Line breaks are allowed! You may use MediaWiki syntax h..." current
- 17:52, 26 July 2018 diff hist +563 N News:Termination Competition 2019 Created page with " <!-- Please insert the corresponding information below so that the news page can be generated automatically. Line breaks are allowed! You may use MediaWiki syntax h..."
- 17:39, 26 July 2018 diff hist -4 Termination Competition 2019
- 17:39, 26 July 2018 diff hist +299 N Termination Competition 2019 Created page with "We intend to be part of [https://tacas.info/toolympics.php Toolympics], with results presented during TACAS'19, April 16-17, Prague. We intend to run on Starexec, but the act..."
- 17:36, 26 July 2018 diff hist -1 Termination Competition →Upcoming Competitions
- 17:36, 26 July 2018 diff hist +516 Termination Competition →Annual International Termination Competition
- 17:15, 26 July 2018 diff hist +57 Termination Competition
- 17:12, 26 July 2018 diff hist +45 WST
- 17:11, 26 July 2018 diff hist +144 WST
- 12:44, 16 July 2018 diff hist -1 TPDB →Sources
- 10:15, 16 July 2018 diff hist +221 TPDB →Tools
- 18:14, 15 July 2018 diff hist +187 TPDB →Sources
- 18:06, 15 July 2018 diff hist +39 TPDB →Data
- 18:05, 15 July 2018 diff hist +41 TPDB →Sources
- 18:04, 15 July 2018 diff hist +305 TPDB →Sources
- 13:15, 15 July 2018 diff hist +5 WST
- 13:13, 15 July 2018 diff hist +36 WST
- 13:08, 15 July 2018 diff hist +47 WST
- 19:35, 6 September 2017 diff hist +1 Termination Competition →History of Termination Competitions
- 19:35, 6 September 2017 diff hist +80 Termination Competition →History of Termination Competitions
- 19:32, 6 September 2017 diff hist +79 Termination Competition →History of Termination Competitions
- 19:29, 6 September 2017 diff hist -11 Termination Competition 2017
- 19:28, 6 September 2017 diff hist +86 Termination Competition 2017 →Dates
- 00:22, 6 September 2017 diff hist +3 Termination Competition 2017 →Dates
- 14:30, 5 September 2017 diff hist +15 Termination Competition 2017 →Dates
- 13:04, 16 August 2017 diff hist +2 Termination Competition 2016 Data current
- 09:42, 16 August 2017 diff hist -1 Termination Competition 2017 →StarExec Information
- 22:14, 26 July 2017 diff hist +77 Termination Competition 2017 Registration →Solvers current
- 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