All public logs

Jump to navigationJump to search

Combined display of all available logs of You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

  • 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 [ IJCAR 2022] and takes part in [...")