Recent changes

From Termination-Portal.org
Jump to navigationJump to search

Track the most recent changes to the wiki on this page.

Recent changes options Show last 50 | 100 | 250 | 500 changes in last 1 | 3 | 7 | 14 | 30 days
Hide registered users | Hide anonymous users | Hide my edits | Show bots | Hide minor edits
Show new changes starting from 05:23, 24 March 2026
   
List of abbreviations:
N
This edit created a new page (also see list of new pages)
m
This is a minor edit
b
This edit was performed by a bot
(±123)
The page size changed by this number of bytes

19 March 2026

     10:44  Suggestions‎ diffhist -232‎ JCKassing talk contribs Updated suggestions
     10:38  Termination Competition‎ diffhist +49‎ JCKassing talk contribs Added TRS Complexity pages
N    10:36  TRS Parallel Innermost Derivational Complexity‎ diffhist +2,709‎ JCKassing talk contribs Added TRS Parallel Innermost Derivational Complexity
N    10:34  TRS Innermost Runtime Complexity‎ diffhist +2,810‎ JCKassing talk contribs Added TRS Innermost Runtime Complexity
N    10:33  TRS Runtime Complexity‎ diffhist +2,508‎ JCKassing talk contribs Added TRS Runtime Complexity
N    10:26  TRS Innermost Derivational Complexity‎ diffhist +2,241‎ JCKassing talk contribs Added TRS Innermost Derivational Complexity
N    10:23  TRS Derivational Complexity‎ diffhist +1,941‎ JCKassing talk contribs Added TRS Derivational Complexity

18 March 2026

     11:46  String Rewriting‎ diffhist -41‎ JCKassing talk contribs Blanked the page Tag: Blanking
     11:43  Transition Systems‎ diffhist -26‎ JCKassing talk contribs No Category anymore
     11:41  Termination Competition‎ diffhist -75‎ JCKassing talk contribs Added all termination category subpages
N    11:40  Integer Transition Systems‎ diffhist +1,348‎ JCKassing talk contribs Added ITS Page
N    11:37  TRS Conditional‎ diffhist +1,250‎ JCKassing talk contribs Added TRS Conditional Page
N    11:37  TRS Conditional - Operational Termination‎ diffhist +1,320‎ JCKassing talk contribs Added TRS Conditional - Operation Page
N    11:29  TRS Equational‎ diffhist +1,703‎ JCKassing talk contribs Added TRS Equational Page
N    11:25  TRS Contextsensitive‎ diffhist +1,769‎ JCKassing talk contribs Added TRS Contextsensitive Page
Retrieved from "http://termination-portal.org/wiki/Special:RecentChanges"