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