User contributions
From Termination-Portal.org
Jump to navigationJump to search- 12:27, 9 June 2026 diff hist -1 PTRS Innermost Small fixes current
- 12:25, 9 June 2026 diff hist 0 PTRS Standard Small fixes current
- 12:24, 9 June 2026 diff hist -80 m SRS Relative Use the transitive-reflexive closure! current
- 12:23, 9 June 2026 diff hist +88 SRS Relative Small fixes
- 12:21, 9 June 2026 diff hist +87 SRS Standard Small fixes current
- 12:18, 9 June 2026 diff hist -12 TRS Conditional Small fixes current
- 12:17, 9 June 2026 diff hist 0 m TRS Contextsensitive Small fixes current
- 12:16, 9 June 2026 diff hist -134 m TRS Derivational Complexity Small fixes current
- 12:15, 9 June 2026 diff hist -10 TRS Equational Small fixes current
- 12:14, 9 June 2026 diff hist +10 TRS Innermost Small fixes current
- 12:13, 9 June 2026 diff hist -130 TRS Innermost Derivational Complexity Small fixes current
- 12:11, 9 June 2026 diff hist -143 TRS Innermost Runtime Complexity Small fixes current
- 12:08, 9 June 2026 diff hist +2 TRS Parallel Innermost Derivational Complexity Small fixes current
- 12:06, 9 June 2026 diff hist +152 m TRS Relative Small fixes current
- 11:59, 9 June 2026 diff hist -135 m TRS Runtime Complexity Small fixes current
- 11:54, 9 June 2026 diff hist 0 m TRS Standard Fixed wrong indice current
- 11:13, 8 June 2026 diff hist +378 Termination Competition 2026 Update on the rules for the 2026 TermComp
- 18:17, 20 May 2026 diff hist +33 Termination Competition Update Upcoming Competition current
- 10:44, 19 March 2026 diff hist -232 Suggestions Updated suggestions current
- 10:38, 19 March 2026 diff hist +49 Termination Competition Added TRS Complexity pages
- 10:36, 19 March 2026 diff hist +2,709 N TRS Parallel Innermost Derivational Complexity Added TRS Parallel Innermost Derivational Complexity
- 10:34, 19 March 2026 diff hist +2,810 N TRS Innermost Runtime Complexity Added TRS Innermost Runtime Complexity
- 10:33, 19 March 2026 diff hist +2,508 N TRS Runtime Complexity Added TRS Runtime Complexity
- 10:26, 19 March 2026 diff hist +2,241 N TRS Innermost Derivational Complexity Added TRS Innermost Derivational Complexity
- 10:23, 19 March 2026 diff hist +1,941 N TRS Derivational Complexity Added TRS Derivational Complexity
- 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
- 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
- 11:25, 18 March 2026 diff hist +1,769 N TRS Contextsensitive Added TRS Contextsensitive Page
- 10:08, 11 March 2026 diff hist +227 m PTRS Standard Added missing reference
- 10:07, 11 March 2026 diff hist 0 m PTRS Innermost Fixed small typo in reference
- 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)
- 09:04, 11 March 2026 diff hist +372 TRS Standard Added a motivation and link to the ari format
- 16:27, 10 March 2026 diff hist +38 SRS Standard Mentioned strings in the def of SRSs
- 16:27, 10 March 2026 diff hist +2,043 N SRS Relative Added SRS Relative Category Page
- 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
- 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
