User contributions
From Termination-Portal.org
Jump to navigationJump to search- 15:10, 18 June 2025 diff hist -156 20th International Workshop on Termination current
- 15:06, 18 June 2025 diff hist +49 Termination Portal →Recent News current
- 11:46, 6 May 2025 diff hist -1 WST typo current
- 10:56, 6 May 2025 diff hist +48 WST add wst link
- 14:41, 20 December 2024 diff hist +9 20th International Workshop on Termination
- 15:29, 3 July 2024 diff hist 0 WST add ref
- 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