User contributions

From Termination-Portal.org

• 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