User contributions
From Termination-Portal.org
Jump to navigationJump to search- 17:12, 9 March 2026 diff hist +11 TRS Relative Fixed some typos current
- 17:11, 9 March 2026 diff hist +1,566 N TRS Outermost Added TRS Outermost Category Page current
- 17:09, 9 March 2026 diff hist +1,537 N TRS Innermost Added TRS Innermost Category Page current
- 09:48, 9 March 2026 diff hist +2,008 N TRS Relative Added TRS Relative Category Page
- 09:31, 9 March 2026 diff hist -15 Termination Competition Added Link to new TRS Standard category page current
- 09:29, 9 March 2026 diff hist 0 m TRS Standard JCKassing moved page Category TRS Standard to TRS Standard: removed Category current
- 09:29, 9 March 2026 diff hist +26 N Category TRS Standard JCKassing moved page Category TRS Standard to TRS Standard: removed Category current Tag: New redirect
- 09:28, 9 March 2026 diff hist +1,257 N TRS Standard Added TRS Standard Category Page
- 12:40, 8 March 2026 diff hist +106 Termination Competition History Added results current
- 12:39, 8 March 2026 diff hist -4,380 Termination Competition Simplified the competition page and moved important parts to the top
- 12:36, 8 March 2026 diff hist +4,484 N Termination Competition History Added an additional page for the history of the termination competition
- 12:33, 8 March 2026 diff hist +2,028 Termination Competition Added explanations for each of the category types
- 22:23, 6 March 2026 diff hist -255 Tools:AProVE Changed the developer list to the current website list current
- 15:10, 24 February 2026 diff hist +1,484 Termination Competition Improved the categorization of all competition categories
- 12:44, 15 January 2026 diff hist +73 People:Jan-Christoph Kassing Added profile pic current
- 12:42, 15 January 2026 diff hist +249 Category:Categories Improving Category text current
- 12:36, 15 January 2026 diff hist +25 Probabilistic Rewriting Added to the category group current
- 12:33, 15 January 2026 diff hist +622 N People:Jan-Christoph Kassing Added myself as a person
- 12:27, 15 January 2026 diff hist -14 People:Jürgen Giesl Fixed Link current
- 12:27, 15 January 2026 diff hist +35 People:Jürgen Giesl Update Image
- 11:19, 15 January 2026 diff hist +2,148 Probabilistic Rewriting some additional information on the probabilistic rewriting site
- 13:20, 23 July 2025 diff hist +1 Termination Competition 2025 technical details →Testing Locally
- 13:17, 13 May 2024 diff hist +7 Term Rewriting
- 13:17, 13 May 2024 diff hist -85 Probabilistic Rewriting
- 08:15, 13 May 2024 diff hist +9 Termination Competition
- 08:14, 13 May 2024 diff hist 0 m Probabilistic Rewriting JCKassing moved page Prob Rewriting to Probabilistic Rewriting: Change of title
- 08:14, 13 May 2024 diff hist +37 N Prob Rewriting JCKassing moved page Prob Rewriting to Probabilistic Rewriting: Change of title current Tag: New redirect
- 10:15, 10 May 2024 diff hist +27 Probabilistic Rewriting
- 10:14, 10 May 2024 diff hist +1,057 N Probabilistic 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..."
- 09:55, 10 May 2024 diff hist +78 Termination Competition →Competition Categories
