All public logs
From Termination-Portal.org
Jump to navigationJump to searchCombined display of all available logs of Termination-Portal.org. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)- 09:25, 13 March 2026 Hofbauer talk contribs created page File:Proc WST 2007.pdf (Proceedings of WST 2007)
- 09:25, 13 March 2026 Hofbauer talk contribs uploaded File:Proc WST 2007.pdf (Proceedings of WST 2007)
- 09:25, 13 March 2026 Hofbauer talk contribs created page File:Proc WST 2009.pdf (Proceedings of WST 2009)
- 09:25, 13 March 2026 Hofbauer talk contribs uploaded File:Proc WST 2009.pdf (Proceedings of WST 2009)
- 09:25, 13 March 2026 Hofbauer talk contribs created page File:Proc WST 2010.pdf (Proceedings of WST 2010)
- 09:25, 13 March 2026 Hofbauer talk contribs uploaded File:Proc WST 2010.pdf (Proceedings of WST 2010)
- 09:23, 13 March 2026 Hofbauer talk contribs created page File:Proc WST 2012.pdf (Proceedings of WST 2012)
- 09:23, 13 March 2026 Hofbauer talk contribs uploaded File:Proc WST 2012.pdf (Proceedings of WST 2012)
- 09:23, 13 March 2026 Hofbauer talk contribs created page File:Proc WST 2013.pdf (Proceedings of WST 2013)
- 09:23, 13 March 2026 Hofbauer talk contribs uploaded File:Proc WST 2013.pdf (Proceedings of WST 2013)
- 09:23, 13 March 2026 Hofbauer talk contribs created page File:Proc WST 2014.pdf (Proceedings of WST 2014)
- 09:23, 13 March 2026 Hofbauer talk contribs uploaded File:Proc WST 2014.pdf (Proceedings of WST 2014)
- 09:22, 13 March 2026 Hofbauer talk contribs created page File:Proc WST 2016.pdf (Proceedings of WST 2016)
- 09:22, 13 March 2026 Hofbauer talk contribs uploaded File:Proc WST 2016.pdf (Proceedings of WST 2016)
- 09:22, 13 March 2026 Hofbauer talk contribs created page File:Proc WST 2018.pdf (Proceedings of WST 2018)
- 09:22, 13 March 2026 Hofbauer talk contribs uploaded File:Proc WST 2018.pdf (Proceedings of WST 2018)
- 09:22, 13 March 2026 Hofbauer talk contribs created page File:Proc WST 2021.pdf (Proceedings of WST 2021)
- 09:22, 13 March 2026 Hofbauer talk contribs uploaded File:Proc WST 2021.pdf (Proceedings of WST 2021)
- 09:21, 13 March 2026 Hofbauer talk contribs created page File:Proc WST 2022.pdf (Proceedings of WST 2022)
- 09:21, 13 March 2026 Hofbauer talk contribs uploaded File:Proc WST 2022.pdf (Proceedings of WST 2022)
- 09:21, 13 March 2026 Hofbauer talk contribs created page File:Proc WST 2023.pdf (Proceedings of WST 2023)
- 09:21, 13 March 2026 Hofbauer talk contribs uploaded File:Proc WST 2023.pdf (Proceedings of WST 2023)
- 09:20, 13 March 2026 Hofbauer talk contribs created page File:Proc WST 2025.pdf (Proceedings of WST 2025)
- 09:20, 13 March 2026 Hofbauer talk contribs uploaded File:Proc WST 2025.pdf (Proceedings of WST 2025)
- 10:29, 12 March 2026 Eleanore.meyer talk contribs created page File:Test.pdf (Testfile for larger PDF uploads)
- 10:29, 12 March 2026 Eleanore.meyer talk contribs uploaded File:Test.pdf (Testfile for larger PDF uploads)
- 10:03, 11 March 2026 JCKassing talk contribs created page PTRS Innermost (Added PTRS Innermost category)
- 09:57, 11 March 2026 JCKassing talk contribs created page PTRS Standard (Added PTRS Standard category)
- 16:27, 10 March 2026 JCKassing talk contribs created page SRS Relative (Added SRS Relative Category Page)
- 16:24, 10 March 2026 JCKassing talk contribs created page SRS Standard (Added SRS Standard Category Page)
- 17:11, 9 March 2026 JCKassing talk contribs created page TRS Outermost (Added TRS Outermost Category Page)
- 17:09, 9 March 2026 JCKassing talk contribs created page TRS Innermost (Added TRS Innermost Category Page)
- 09:48, 9 March 2026 JCKassing talk contribs created page TRS Relative (Added TRS Relative Category Page)
- 09:29, 9 March 2026 JCKassing talk contribs moved page Category TRS Standard to TRS Standard (removed Category)
- 09:28, 9 March 2026 JCKassing talk contribs created page Category TRS Standard (Added TRS Standard Category Page)
- 12:36, 8 March 2026 JCKassing talk contribs created page Termination Competition History (Added an additional page for the history of the termination competition)
- 08:22, 11 February 2026 Ffrohn talk contribs created page Termination Competition 2026 (Created page with "The Termination and Complexity Competition (TermComp) 2026 will be affiliated with [https://termination-portal.org/wiki/21st_International_Workshop_on_Termination WST 2026], w...")
- 14:57, 15 January 2026 Ffrohn talk contribs created page 21st International Workshop on Termination (Created page with "July 25, 2026, Lisbon, Portugal. As part of [https://www.floc26.org FLoC 2026] and co-located with [https://www.floc26.org/ijcar IJCAR 2026]. ==Background== The Workshop...")
- 12:33, 15 January 2026 JCKassing talk contribs created page People:Jan-Christoph Kassing (Added myself as a person)
- 10:41, 21 November 2025 Hezzel talk contribs created page User:Hezzel (Redirected page to People:Cynthia Kop) Tag: New redirect
- 08:38, 10 September 2025 Eleanore.meyer talk contribs created page File:Aprove logo new.png (New Logo for the AProVE termination tool.)
- 08:38, 10 September 2025 Eleanore.meyer talk contribs uploaded File:Aprove logo new.png (New Logo for the AProVE termination tool.)
- 08:24, 10 September 2025 Giesl talk contribs created page User talk:Eleanore.meyer (Welcome!)
- 08:24, 10 September 2025 User account Eleanore.meyer talk contribs was created by Giesl talk contribs and password was sent by email
- 08:16, 11 April 2025 Ffrohn talk contribs created page Termination Competition 2025 technical details (Created page with "== Execution Environment == Starting from 2025, TermComp runs on the RWTH HPC cluster. Tools must be submitted as Docker images. During the competition, the following two co...")
- 15:38, 9 April 2025 Ffrohn talk contribs created page Termination Competition 2025 (Created page with "The Termination and Complexity Competition (termCOMP) 2025 will be affiliated with [https://www.imn.htwk-leipzig.de/WST2025/ WST 2025]. The competition will be run on the RWT...")
- 08:14, 13 May 2024 JCKassing talk contribs moved page Prob Rewriting to Probabilistic Rewriting (Change of title)
- 10:14, 10 May 2024 JCKassing talk contribs created page Prob Rewriting (Created page with "== General == As in the non-probabilistic setting, we use an adaption of the [https://project-coco.uibk.ac.at/ARI/ ARI format], so probabilistic TRSs (PTRSs) are represented...")
- 15:37, 6 May 2024 User account JCKassing talk contribs was created by Ffrohn talk contribs
- 15:20, 6 May 2024 User account Kassing talk contribs was created by Ffrohn talk contribs and password was sent by email
