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