User contributions
From Termination-Portal.org
Jump to navigationJump to search- 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..." current
- 17:39, 31 January 2024 diff hist +4 WST current
- 09:36, 7 December 2023 diff hist +77 WST add WST 2025 plan