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