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)- 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
