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: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
- 10:08, 16 April 2024 Ffrohn talk contribs created page 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...")
- 17:47, 31 January 2024 J.waldmann talk contribs created page 20th International Workshop on Termination (Created page with "The 20th Intl. Workshop on Termination will take place at [https://informatik.htwk-leipzig.de/ HTWK Leipzig, Germany], in summer 2025. [https://www.imn.htwk-leipzig.de/~waldma...")
- 13:35, 16 January 2024 Ffrohn talk contribs created page 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...")
- 10:28, 15 May 2023 Akihisa Yamada talk contribs created page Termination Competition 2023 (Created page with "The Termination and Complexity Competition (termCOMP) 2023 will be affiliated with WST 2023. The competition will be run on the [http://www.starexec.org/ StarExec...")
- 01:14, 10 April 2023 Akihisa Yamada talk contribs created page WST2023 (Redirected page to 19th International Workshop on Termination) Tag: New redirect
- 01:37, 16 January 2023 Akihisa Yamada talk contribs created page 19th International Workshop on Termination (Created page with "==Background== The Workshop on Termination (WST) traditionally brings together, in an informal setting, researchers interested in all aspects of termination, whether this int...")
- 10:56, 30 May 2022 Akihisa Yamada talk contribs created page Termination Competition 2022 (Created page with "The Termination and Complexity Competition (termCOMP) 2022 will be affiliated to [https://easychair.org/smart-program/FLoC2022/IJCAR-index.html IJCAR 2022] and takes part in [...")