Oldest pages
Showing below up to 50 results in range #51 to #100.
- Termination Competition 2015 (11:55, 6 August 2015)
- Termination Competition 2014 (13:45, 11 October 2015)
- Termination Competition 2016 Registration (01:31, 5 September 2016)
- Termination and Complexity Competition 2016 (21:06, 5 September 2016)
- Termination Competition 2017 Registration (22:14, 26 July 2017)
- Termination Competition 2016 Data (13:04, 16 August 2017)
- Termination Competition 2017 (08:48, 11 June 2018)
- Termination Competition 2019 (09:25, 12 June 2020)
- Termination Competition 2018 (09:55, 12 June 2020)
- Termination Competition 2020 (09:55, 3 July 2020)
- Termtools (21:38, 11 November 2020)
- Logic Programming (04:56, 19 November 2020)
- Termination Competition 2021 (06:44, 14 July 2021)
- Termination Competition 2022 (14:09, 7 November 2022)
- 19th International Workshop on Termination (17:02, 17 August 2023)
- Termination Competition 2023 (08:32, 12 September 2023)
- C Complexity (10:08, 16 April 2024)
- Termination Competition 2024 (13:34, 5 July 2024)
- Term Rewriting (08:19, 12 February 2025)
- 20th International Workshop on Termination (15:10, 18 June 2025)
- C Programs (14:41, 19 August 2025)
- Termination Competition 2025 (09:09, 8 September 2025)
- Termination Competition Steering Committee (09:36, 18 September 2025)
- Termination Competition 2025 technical details (07:14, 2 October 2025)
- TPDB (10:51, 31 October 2025)
- Termination Portal (09:13, 23 February 2026)
- Termination Competition History (12:40, 8 March 2026)
- TRS Outermost (09:11, 11 March 2026)
- TRS Conditional - Operational Termination (11:37, 18 March 2026)
- Integer Transition Systems (11:40, 18 March 2026)
- Transition Systems (11:43, 18 March 2026)
- String Rewriting (11:46, 18 March 2026)
- Suggestions (10:44, 19 March 2026)
- Termination Competition 2026 technical details (07:39, 27 April 2026)
- TRS Standard (11:54, 9 June 2026)
- TRS Runtime Complexity (11:59, 9 June 2026)
- TRS Relative (12:06, 9 June 2026)
- TRS Parallel Innermost Derivational Complexity (12:08, 9 June 2026)
- TRS Innermost Runtime Complexity (12:11, 9 June 2026)
- TRS Innermost Derivational Complexity (12:13, 9 June 2026)
- TRS Innermost (12:14, 9 June 2026)
- TRS Equational (12:15, 9 June 2026)
- TRS Derivational Complexity (12:16, 9 June 2026)
- TRS Contextsensitive (12:17, 9 June 2026)
- TRS Conditional (12:18, 9 June 2026)
- SRS Standard (12:21, 9 June 2026)
- SRS Relative (12:24, 9 June 2026)
- Termination Competition Certified Categories Competition (08:25, 17 June 2026)
- 21st International Workshop on Termination (07:20, 16 July 2026)
- WST (07:22, 16 July 2026)