User contributions
From Termination-Portal.org
Jump to navigationJump to search- 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
