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).
- 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...")
- 08:41, 29 July 2014 J.waldmann talk contribs moved page Termination Competition 2014 Questionannaire to Termination Competition 2014 Questionnaire
- 10:33, 12 June 2014 J.waldmann talk contribs moved page Termination Competition 2014 Participants to Termination Competition 2014 Registration
- 11:18, 20 October 2008 J.waldmann talk contribs moved page Wrong title complexity to News:Complexity
- 11:17, 20 October 2008 J.waldmann talk contribs moved page News:News Caption to Wrong title complexity
- 11:51, 31 March 2008 J.waldmann talk contribs moved page News:What domain name? to What domain name?
