Jump to content

User contributions for Ffrohn

Results for Ffrohn talk block log uploads logs

A user with 136 edits. Account created on 4 March 2014.

12:3412:34, 13 December 2024 diff hist −66 Termination Competition →Static Backups of Results
12:3312:33, 13 December 2024 diff hist −1 Termination Competition →History of Termination Competitions
12:3312:33, 13 December 2024 diff hist +157 Termination Competition →History of Termination Competitions

10:3410:34, 20 September 2024 diff hist −84 Termination Competition →Organization

07:3707:37, 15 July 2024 diff hist +133 Term Rewriting →General
07:3007:30, 15 July 2024 diff hist +4 Term Rewriting →General

13:3413:34, 5 July 2024 diff hist −10 Termination Competition 2024 →Status current

08:1408:14, 3 July 2024 diff hist −144 Termination Competition 2024 →Dates
08:1408:14, 3 July 2024 diff hist +3 Termination Competition 2024 No edit summary

11:0911:09, 13 June 2024 diff hist +18 Termination Competition 2024 →Dates
11:0911:09, 13 June 2024 diff hist +21 Termination Competition 2024 →Dates

09:0709:07, 12 June 2024 diff hist −28 Termination Competition 2024 →Changes with respect to 2023
09:0609:06, 12 June 2024 diff hist +144 Termination Competition 2024 →Dates
09:0509:05, 12 June 2024 diff hist +39 Termination Competition 2024 →Changes with respect to 2023

11:4911:49, 3 June 2024 diff hist +68 Termination Competition 2024 →Dates

14:2314:23, 8 May 2024 diff hist +6 Termination Competition 2024 →Changes with respect to 2023

11:2711:27, 3 May 2024 diff hist 0 Term Rewriting →General

10:5910:59, 2 May 2024 diff hist −16 Term Rewriting →General
09:5109:51, 2 May 2024 diff hist −114 Term Rewriting →General

10:0210:02, 26 April 2024 diff hist +41 Term Rewriting →General

14:0714:07, 25 April 2024 diff hist +159 Term Rewriting →General

08:1808:18, 18 April 2024 diff hist +114 Term Rewriting →General

08:3008:30, 17 April 2024 diff hist +160 Term Rewriting →General
07:4807:48, 17 April 2024 diff hist +301 Term Rewriting →General

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

19:3819:38, 15 April 2024 diff hist +1 Term Rewriting →General
19:3719:37, 15 April 2024 diff hist +2,494 Term Rewriting No edit summary
19:0319:03, 15 April 2024 diff hist +619 Term Rewriting No edit summary
15:5915:59, 15 April 2024 diff hist +194 Termination Competition 2024 →Changes with respect to 2023
14:1514:15, 15 April 2024 diff hist +67 Termination Competition 2024 →Changes with respect to 2023
14:1514:15, 15 April 2024 diff hist 0 Termination Competition 2024 →Changes with respect to 2023
14:1514:15, 15 April 2024 diff hist −177 Termination Competition 2024 →Dates

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..."

12:5112:51, 16 August 2023 diff hist +95 19th International Workshop on Termination →Friday 25 August

09:2709:27, 9 June 2022 diff hist −75 Termination Competition →Organization

11:4711:47, 30 May 2022 diff hist −6 Termination Competition 2022 No edit summary

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..."

13:3713:37, 16 August 2017 diff hist +171 Termination Competition No edit summary

11:2811: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:0815:08, 10 June 2014 diff hist +135 Termination Competition 2014 added link to starexec wiki

12:4812:48, 5 March 2014 diff hist +19 Termination-Portal.org:About No edit summary
09:4909:49, 5 March 2014 diff hist +1 MediaWiki:Sidebar No edit summary current
09:4909:49, 5 March 2014 diff hist +47 MediaWiki:Sidebar No edit summary

Retrieved from "http://termination-portal.org/wiki/Special:Contributions/Ffrohn"