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: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)
- 09:25, 13 March 2026 Hofbauer talk contribs created page File:Proc WST 2009.pdf (Proceedings of WST 2009)
- 09:25, 13 March 2026 Hofbauer talk contribs uploaded File:Proc WST 2009.pdf (Proceedings of WST 2009)
- 09:25, 13 March 2026 Hofbauer talk contribs created page File:Proc WST 2010.pdf (Proceedings of WST 2010)
- 09:25, 13 March 2026 Hofbauer talk contribs uploaded File:Proc WST 2010.pdf (Proceedings of WST 2010)
- 09:23, 13 March 2026 Hofbauer talk contribs created page File:Proc WST 2012.pdf (Proceedings of WST 2012)
- 09:23, 13 March 2026 Hofbauer talk contribs uploaded File:Proc WST 2012.pdf (Proceedings of WST 2012)
- 09:23, 13 March 2026 Hofbauer talk contribs created page File:Proc WST 2013.pdf (Proceedings of WST 2013)
- 09:23, 13 March 2026 Hofbauer talk contribs uploaded File:Proc WST 2013.pdf (Proceedings of WST 2013)
- 09:23, 13 March 2026 Hofbauer talk contribs created page File:Proc WST 2014.pdf (Proceedings of WST 2014)
- 09:23, 13 March 2026 Hofbauer talk contribs uploaded File:Proc WST 2014.pdf (Proceedings of WST 2014)
- 09:22, 13 March 2026 Hofbauer talk contribs created page File:Proc WST 2016.pdf (Proceedings of WST 2016)
- 09:22, 13 March 2026 Hofbauer talk contribs uploaded File:Proc WST 2016.pdf (Proceedings of WST 2016)
- 09:22, 13 March 2026 Hofbauer talk contribs created page File:Proc WST 2018.pdf (Proceedings of WST 2018)
