User contributions
From Termination-Portal.org
Jump to navigationJump to search- 08:19, 12 February 2025 diff hist +2 Term Rewriting →Integer Transition Systems current
- 08:19, 12 February 2025 diff hist -70 Termination Competition →Competition Categories current
- 08:18, 12 February 2025 diff hist -8 Term Rewriting →Integer Transition Systems
- 08:17, 12 February 2025 diff hist +14 Term Rewriting →Integer Transition Systems
- 08:16, 12 February 2025 diff hist +223 Term Rewriting →Complexity
- 08:13, 12 February 2025 diff hist +40 Term Rewriting →Complexity
- 08:12, 12 February 2025 diff hist -1 Term Rewriting →Integer Transition Systems
- 08:12, 12 February 2025 diff hist -1 Term Rewriting →Integer Transition Systems
- 08:11, 12 February 2025 diff hist -32 Term Rewriting →Integer Transition Systems
- 08:11, 12 February 2025 diff hist +490 Term Rewriting →Integer Transition Systems
- 07:59, 12 February 2025 diff hist +307 Term Rewriting →Non-Relative Termination
- 07:55, 12 February 2025 diff hist +40 Term Rewriting →Termination
- 07:53, 12 February 2025 diff hist +20 Term Rewriting →General
- 12:34, 13 December 2024 diff hist -66 Termination Competition →Static Backups of Results
- 12:33, 13 December 2024 diff hist -1 Termination Competition →History of Termination Competitions
- 12:33, 13 December 2024 diff hist +157 Termination Competition →History of Termination Competitions
- 10:34, 20 September 2024 diff hist -84 Termination Competition →Organization
- 07:37, 15 July 2024 diff hist +133 Term Rewriting →General
- 07:30, 15 July 2024 diff hist +4 Term Rewriting →General
- 13:34, 5 July 2024 diff hist -10 Termination Competition 2024 →Status current
- 08:14, 3 July 2024 diff hist -144 Termination Competition 2024 →Dates
- 08:14, 3 July 2024 diff hist +3 Termination Competition 2024
- 11:09, 13 June 2024 diff hist +18 Termination Competition 2024 →Dates
- 11:09, 13 June 2024 diff hist +21 Termination Competition 2024 →Dates
- 09:07, 12 June 2024 diff hist -28 Termination Competition 2024 →Changes with respect to 2023
- 09:06, 12 June 2024 diff hist +144 Termination Competition 2024 →Dates
- 09:05, 12 June 2024 diff hist +39 Termination Competition 2024 →Changes with respect to 2023
- 11:49, 3 June 2024 diff hist +68 Termination Competition 2024 →Dates
- 14:23, 8 May 2024 diff hist +6 Termination Competition 2024 →Changes with respect to 2023
- 11:27, 3 May 2024 diff hist 0 Term Rewriting →General
- 10:59, 2 May 2024 diff hist -16 Term Rewriting →General
- 09:51, 2 May 2024 diff hist -114 Term Rewriting →General
- 10:02, 26 April 2024 diff hist +41 Term Rewriting →General
- 14:07, 25 April 2024 diff hist +159 Term Rewriting →General
- 08:18, 18 April 2024 diff hist +114 Term Rewriting →General
- 08:30, 17 April 2024 diff hist +160 Term Rewriting →General
- 07:48, 17 April 2024 diff hist +301 Term Rewriting →General
- 10:08, 16 April 2024 diff hist +823 N C Complexity Created page with "We consider the C-fragment from the category Termination of C Programs, but in contrast to the termination category, the starting point should be stated explici..." current
- 10:03, 16 April 2024 diff hist +51 Termination Competition →Competition Categories
- 06:15, 16 April 2024 diff hist -21 Termination Competition →Competition Categories
- 19:38, 15 April 2024 diff hist +1 Term Rewriting →General
- 19:37, 15 April 2024 diff hist +2,494 Term Rewriting
- 19:03, 15 April 2024 diff hist +619 Term Rewriting
- 15:59, 15 April 2024 diff hist +194 Termination Competition 2024 →Changes with respect to 2023
- 14:15, 15 April 2024 diff hist +67 Termination Competition 2024 →Changes with respect to 2023
- 14:15, 15 April 2024 diff hist 0 Termination Competition 2024 →Changes with respect to 2023
- 14:15, 15 April 2024 diff hist -177 Termination Competition 2024 →Dates
- 13:45, 16 January 2024 diff hist +289 Termination Competition
- 13:37, 16 January 2024 diff hist +35 Termination Portal →Recent News current
- 13:37, 16 January 2024 diff hist +31 Termination Competition 2024
