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: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)
- 10:03, 11 March 2026 JCKassing talk contribs created page PTRS Innermost (Added PTRS Innermost category)
- 09:57, 11 March 2026 JCKassing talk contribs created page PTRS Standard (Added PTRS Standard category)
- 16:27, 10 March 2026 JCKassing talk contribs created page SRS Relative (Added SRS Relative Category Page)
- 16:24, 10 March 2026 JCKassing talk contribs created page SRS Standard (Added SRS Standard Category Page)
- 17:11, 9 March 2026 JCKassing talk contribs created page TRS Outermost (Added TRS Outermost Category Page)
- 17:09, 9 March 2026 JCKassing talk contribs created page TRS Innermost (Added TRS Innermost Category Page)
- 09:48, 9 March 2026 JCKassing talk contribs created page TRS Relative (Added TRS Relative Category Page)
- 09:29, 9 March 2026 JCKassing talk contribs moved page Category TRS Standard to TRS Standard (removed Category)
- 09:28, 9 March 2026 JCKassing talk contribs created page Category TRS Standard (Added TRS Standard Category Page)
- 12:36, 8 March 2026 JCKassing talk contribs created page Termination Competition History (Added an additional page for the history of the termination competition)
- 12:33, 15 January 2026 JCKassing talk contribs created page People:Jan-Christoph Kassing (Added myself as a person)
- 08:14, 13 May 2024 JCKassing talk contribs moved page Prob Rewriting to Probabilistic Rewriting (Change of title)
- 10:14, 10 May 2024 JCKassing talk contribs created page Prob Rewriting (Created page with "== General == As in the non-probabilistic setting, we use an adaption of the [https://project-coco.uibk.ac.at/ARI/ ARI format], so probabilistic TRSs (PTRSs) are represented...")
