User contributions
From Termination-Portal.org
Jump to navigationJump to search- 12:34, 13 December 2024 diff hist -66 Termination Competition →Static Backups of Results current
- 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 current
- 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
- 13:35, 16 January 2024 diff hist +6,108 N Termination Competition 2024 Created page with "The Termination and Complexity Competition (termCOMP) 2024 will be affiliated with IJCAR 2023. The competition will be run on the [http://www.starexec.org/ Star..."
- 12:51, 16 August 2023 diff hist +95 19th International Workshop on Termination →Friday 25 August
- 09:27, 9 June 2022 diff hist -75 Termination Competition →Organization
- 11:47, 30 May 2022 diff hist -6 Termination Competition 2022
- 18:28, 20 December 2020 diff hist +40 News:Termination Competition 2021 current
- 18:27, 20 December 2020 diff hist +132 N News:Termination Competition 2021 Created page with "{{News |text=The Termination Competition 2021 will be affiliated with CADE. |date=December, 2020 }}"
- 18:20, 20 December 2020 diff hist +7,060 N Termination Competition 2021 Created page with "In 2021, the Termination and Complexity Competition will be affiliated with [http://www.cs.cmu.edu/~mheule/CADE28/ CADE]. The competition will be run on the [http://www.stare..."
- 13:37, 16 August 2017 diff hist +171 Termination Competition
- 11:28, 4 August 2014 diff hist +184 Termination Competition 2014 Questionnaire →10. Where do you think we should focus our development efforts going forward?
- 15:08, 10 June 2014 diff hist +135 Termination Competition 2014 added link to starexec wiki
- 12:48, 5 March 2014 diff hist +19 Termination-Portal.org:About
- 09:49, 5 March 2014 diff hist +1 MediaWiki:Sidebar current
- 09:49, 5 March 2014 diff hist +47 MediaWiki:Sidebar