Main public logs
Combined 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:29, 29 October 2026 Olive70671 talk contribs created page User:Olive70671 (Created page with "I'm Olive and I live with my husband and our two children in Gap, in the CENTRE south part. My hobbies are Gongoozling, Basketball and Gaming.<br><br>Feel free to surf to my website - [https://creditonlinecasino.com/joker123/ joker123]")
- 10:29, 29 October 2026 User account Olive70671 talk contribs was created
- 10:16, 29 October 2026 RobinHawthorn71 talk contribs created page User:RobinHawthorn71 (Created page with "Hello, I'm Robin, a 29 year old from Silenrieux, Belgium.<br>My hobbies include (but are not limited to) Antiquing, Equestrianism and watching Arrested Development.<br><br>my web page :: [https://casinorankthai.com/slot-joker123/ สล็อต joker123]")
- 10:16, 29 October 2026 User account RobinHawthorn71 talk contribs was created
- 14:27, 27 October 2026 Eleanore.meyer talk contribs created page Category:Pages using the DynamicPageList extension (Created page with "__HIDDENCAT__")
- 09:38, 26 July 2026 Ffrohn talk contribs created page File:Presentation wst26.pdf
- 09:38, 26 July 2026 Ffrohn talk contribs uploaded File:Presentation wst26.pdf
- 14:56, 29 June 2026 Hofbauer talk contribs reverted File:Proc WST 2025.pdf to an old version (Reverted to version as of 14:53, 29 June 2026 (UTC))
- 14:54, 29 June 2026 Hofbauer talk contribs reverted File:Proc WST 2025.pdf to an old version (Reverted to version as of 09:20, 13 March 2026 (UTC))
- 14:53, 29 June 2026 Hofbauer talk contribs uploaded a new version of File:Proc WST 2025.pdf
- 13:32, 16 June 2026 Ffrohn talk contribs created page File:TermCOMP26 program.png
- 13:32, 16 June 2026 Ffrohn talk contribs uploaded File:TermCOMP26 program.png
- 07:39, 27 April 2026 Ffrohn talk contribs created page Termination Competition 2026 technical details (Created page with "== Execution Environment == Starting from 2025, TermComp runs on the RWTH HPC cluster. Tools must be submitted as Docker images. The competition will run using Apptainer (wh...")
- 10:36, 19 March 2026 JCKassing talk contribs created page TRS Parallel Innermost Derivational Complexity (Added TRS Parallel Innermost Derivational Complexity)
- 10:34, 19 March 2026 JCKassing talk contribs created page TRS Innermost Runtime Complexity (Added TRS Innermost Runtime Complexity)
- 10:33, 19 March 2026 JCKassing talk contribs created page TRS Runtime Complexity (Added TRS Runtime Complexity)
- 10:26, 19 March 2026 JCKassing talk contribs created page TRS Innermost Derivational Complexity (Added TRS Innermost Derivational Complexity)
- 10:23, 19 March 2026 JCKassing talk contribs created page TRS Derivational Complexity (Added TRS Derivational Complexity)
- 11:40, 18 March 2026 JCKassing talk contribs created page Integer Transition Systems (Added ITS Page)
- 11:37, 18 March 2026 JCKassing talk contribs created page TRS Conditional (Added TRS Conditional Page)
- 11:37, 18 March 2026 JCKassing talk contribs created page TRS Conditional - Operational Termination (Added TRS Conditional - Operation Page)
- 11:29, 18 March 2026 JCKassing talk contribs created page TRS Equational (Added TRS Equational Page)
- 11:25, 18 March 2026 JCKassing talk contribs created page TRS Contextsensitive (Added TRS Contextsensitive Page)
- 16:05, 13 March 2026 Hofbauer talk contribs created page File:Pic WST 1993 annotated.pdf (Picture of WST 1993 participants, provided by Ursula Martin, annotated)
- 16:05, 13 March 2026 Hofbauer talk contribs uploaded File:Pic WST 1993 annotated.pdf (Picture of WST 1993 participants, provided by Ursula Martin, annotated)
- 16:03, 13 March 2026 Hofbauer talk contribs created page File:Pic WST 1993.pdf (Picture of WST 1993 participants provided by Ursula Martin)
- 16:03, 13 March 2026 Hofbauer talk contribs uploaded File:Pic WST 1993.pdf (Picture of WST 1993 participants provided by Ursula Martin)
- 15:56, 13 March 2026 Hofbauer talk contribs created page File:Picture WST 1993.jpg (Picture of participants)
- 15:56, 13 March 2026 Hofbauer talk contribs uploaded File:Picture WST 1993.jpg (Picture of participants)
- 15:40, 13 March 2026 Hofbauer talk contribs created page File:Prog WST 1993.pdf (Program (provided by Pierre Lescanne 2025) of WST 1993 including a list of participants)
- 15:40, 13 March 2026 Hofbauer talk contribs uploaded File:Prog WST 1993.pdf (Program (provided by Pierre Lescanne 2025) of WST 1993 including a list of participants)
- 15:30, 13 March 2026 Hofbauer talk contribs created page File:Abstr WST 1995 programme.pdf (Programme appended at the end)
- 15:30, 13 March 2026 Hofbauer talk contribs uploaded File:Abstr WST 1995 programme.pdf (Programme appended at the end)
- 15:13, 13 March 2026 Hofbauer talk contribs uploaded a new version of File:Abstr WST 1995.pdf
- 09:30, 13 March 2026 Hofbauer talk contribs created page File:Abstr WST 1995.pdf (Abstracts of WST 1995)
- 09:30, 13 March 2026 Hofbauer talk contribs uploaded File:Abstr WST 1995.pdf (Abstracts of WST 1995)
- 09:30, 13 March 2026 Hofbauer talk contribs created page File:Abstr WST 1997.pdf (Extended Abstracts of WST 1997)
- 09:30, 13 March 2026 Hofbauer talk contribs uploaded File:Abstr WST 1997.pdf (Extended Abstracts of WST 1997)
- 09:28, 13 March 2026 Hofbauer talk contribs created page File:Abstr WST 1999.pdf (Abstracts of WST 1999)
- 09:28, 13 March 2026 Hofbauer talk contribs uploaded File:Abstr WST 1999.pdf (Abstracts of WST 1999)
- 09:28, 13 March 2026 Hofbauer talk contribs created page File:Abstr WST 2001.pdf (Extended Abstracts of WST 2001)
- 09:28, 13 March 2026 Hofbauer talk contribs uploaded File:Abstr WST 2001.pdf (Extended Abstracts of WST 2001)
- 09:26, 13 March 2026 Hofbauer talk contribs created page File:Proc WST 2003.pdf (Proceedings of WST 2003)
- 09:26, 13 March 2026 Hofbauer talk contribs uploaded File:Proc WST 2003.pdf (Proceedings of WST 2003)
- 09:26, 13 March 2026 Hofbauer talk contribs created page File:Proc WST 2004.pdf (Proceedings of WST 2004)
- 09:26, 13 March 2026 Hofbauer talk contribs uploaded File:Proc WST 2004.pdf (Proceedings of WST 2004)
- 09:26, 13 March 2026 Hofbauer talk contribs created page File:Proc WST 2006.pdf (Proceedings of WST 2006)
- 09:26, 13 March 2026 Hofbauer talk contribs uploaded File:Proc WST 2006.pdf (Proceedings of WST 2006)
- 09:25, 13 March 2026 Hofbauer talk contribs created page File:Proc WST 2007.pdf (Proceedings of WST 2007)
- 09:25, 13 March 2026 Hofbauer talk contribs uploaded File:Proc WST 2007.pdf (Proceedings of WST 2007)
