Jump to content

User contributions for Giesl

Results for Giesl talk block log uploads logs

A user with 82 edits. Account created on 10 April 2008.

08:2408:24, 10 September 2025 diff hist +308 Nm User talk:Eleanore.meyer Welcome! current

11:4911:49, 18 June 2025 diff hist +4 m TPDB TPDB-ARI (since is the only version which also contains the probabilistic TRS examples)

17:0217:02, 17 August 2023 diff hist +308 19th International Workshop on Termination underlined names and added web sites current

18:4618:46, 23 May 2023 diff hist +2 Termination Competition 2023 Changed Deadline for WST ABstract

14:0914:09, 7 November 2022 diff hist +2 Termination Competition 2022 Final Result current

15:1915:19, 9 June 2022 diff hist +13 Termination Competition 2022 No edit summary
15:1815:18, 9 June 2022 diff hist +147 Termination Competition →History of Termination Competitions

14:1514:15, 2 June 2022 diff hist +93 Termination Competition 2022 No edit summary

16:1816:18, 1 June 2022 diff hist 0 Termination Competition 2022 No edit summary
16:1616:16, 1 June 2022 diff hist +31 Termination Competition 2022 No edit summary
16:1016:10, 1 June 2022 diff hist +2 Termination Competition 2022 No edit summary
16:0916:09, 1 June 2022 diff hist +160 m Termination Competition No edit summary

13:1213:12, 19 May 2021 diff hist +20 Termination Competition 2021 →Steering Committee
13:1113:11, 19 May 2021 diff hist +20 Termination Competition Akihisa is the new chair, Albert's affiliation has changed

06:5506:55, 17 May 2021 diff hist +4 m Termination Competition 2021 Date for Presentation

21:3821:38, 11 November 2020 diff hist −1 Termtools No edit summary current
21:2021:20, 11 November 2020 diff hist +43 Termtools No edit summary
21:1221:12, 11 November 2020 diff hist +185 Termtools No edit summary

15:4915:49, 2 July 2020 diff hist +1 m Termination Competition No edit summary

09:3109:31, 15 June 2020 diff hist −12 m Termination Competition 2020 →Dates

16:0916:09, 15 May 2020 diff hist +12 Termination Competition 2020 →Dates

12:3312:33, 9 May 2020 diff hist +78 Transition Systems No edit summary
12:1212:12, 9 May 2020 diff hist +3 Termination Competition →Competition Categories
12:1112:11, 9 May 2020 diff hist +1 Termination Competition →Upcoming Competitions
12:1112:11, 9 May 2020 diff hist −71 Termination Competition →Upcoming Competitions
12:0912:09, 9 May 2020 diff hist +50 m Termination Competition 2020 No edit summary

10:3010:30, 21 October 2019 diff hist +203 Termination Competition Steering Committee No edit summary
10:3010:30, 21 October 2019 diff hist −161 Termination Competition Steering Committee No edit summary
10:2810:28, 21 October 2019 diff hist +43 Termination Competition →Competition Categories

12:0312:03, 3 July 2019 diff hist +255 Nm User talk:Davidkor Welcome! current

10:2210:22, 14 October 2018 diff hist −5 Termination-Portal.org:About →Impressum current

12:4212:42, 10 June 2018 diff hist +1 Termination Competition 2018 Deadline Extension

10:5410:54, 8 May 2018 diff hist −4 m Termination Competition →Annual International Termination Competition
10:5210:52, 8 May 2018 diff hist −1 m Termination Competition 2018 No edit summary

09:2509:25, 27 April 2018 diff hist −55 Termination Competition 2017 No edit summary

07:3507:35, 10 April 2018 diff hist +13 Termination Competition 2017 added Christian and updated Akihisa's affiliation

21:0921:09, 7 August 2017 diff hist +257 Nm User talk:Christoph Walther Welcome! current

11:2011:20, 17 July 2017 diff hist −55 m Termination Competition 2017 removed Fred from the SC and changed one occurrence of 2016 to 2017

12:2812:28, 9 July 2016 diff hist +124 m Termination and Complexity Competition 2016 →Competition Procedure

09:0809:08, 23 July 2015 diff hist +256 Nm User talk:Akihisa Yamada Welcome! current

21:5121:51, 30 June 2015 diff hist +256 Nm User talk:Sabel Welcome! current

08:5708:57, 29 June 2015 diff hist +311 Termination Competition 2015 No edit summary

16:0016:00, 17 June 2014 diff hist +142 Integer Term Rewriting No edit summary current
15:5815:58, 17 June 2014 diff hist +41 Integer Term Rewriting No edit summary

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