User contributions
From Termination-Portal.org
Jump to navigationJump to search- 11:46, 18 March 2026 diff hist -41 String Rewriting Blanked the page current Tag: Blanking
- 11:43, 18 March 2026 diff hist -26 Transition Systems No Category anymore current
- 11:41, 18 March 2026 diff hist -75 Termination Competition Added all termination category subpages
- 11:40, 18 March 2026 diff hist +1,348 N Integer Transition Systems Added ITS Page current
- 11:37, 18 March 2026 diff hist +1,250 N TRS Conditional Added TRS Conditional Page current
- 11:37, 18 March 2026 diff hist +1,320 N TRS Conditional - Operational Termination Added TRS Conditional - Operation Page current
- 11:29, 18 March 2026 diff hist +1,703 N TRS Equational Added TRS Equational Page current
- 11:25, 18 March 2026 diff hist +1,769 N TRS Contextsensitive Added TRS Contextsensitive Page current
- 10:08, 11 March 2026 diff hist +227 m PTRS Standard Added missing reference current
- 10:07, 11 March 2026 diff hist 0 m PTRS Innermost Fixed small typo in reference current
- 10:05, 11 March 2026 diff hist -477 Probabilistic Rewriting Removed Categories from this page current
- 10:03, 11 March 2026 diff hist -149 Termination Competition Added links to some defined categories
- 10:03, 11 March 2026 diff hist +2,839 N PTRS Innermost Added PTRS Innermost category
- 09:57, 11 March 2026 diff hist +2,813 N PTRS Standard Added PTRS Standard category
- 09:11, 11 March 2026 diff hist +377 TRS Outermost Added a motivation and link to the ari format (TRS Outermost) current
- 09:08, 11 March 2026 diff hist +303 TRS Innermost Added a motivation and link to the ari format (TRS Innermost) current
- 09:04, 11 March 2026 diff hist +372 TRS Standard Added a motivation and link to the ari format current
- 16:27, 10 March 2026 diff hist +38 SRS Standard Mentioned strings in the def of SRSs current
- 16:27, 10 March 2026 diff hist +2,043 N SRS Relative Added SRS Relative Category Page current
- 16:24, 10 March 2026 diff hist +1,259 N SRS Standard Added SRS Standard Category Page
- 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
- 17:09, 9 March 2026 diff hist +1,537 N TRS Innermost Added TRS Innermost Category Page
- 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
- 09:29, 9 March 2026 diff hist 0 m TRS Standard JCKassing moved page Category TRS Standard to TRS Standard: removed Category
- 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
- 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
