User contributions for Ffrohn

10:0810: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:0310:03, 16 April 2024 diff hist +51 Termination Competition →Competition Categories
06:1506:15, 16 April 2024 diff hist −21 Termination Competition →Competition Categories

13:4513:45, 16 January 2024 diff hist +289 Termination Competition No edit summary
13:3713:37, 16 January 2024 diff hist +35 Termination Portal →Recent News
13:3713:37, 16 January 2024 diff hist +31 Termination Competition 2024 No edit summary
13:3513: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..."

18:2818:28, 20 December 2020 diff hist +40 News:Termination Competition 2021 No edit summary current
18:2718: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:2018: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..."