Recent changes
From Termination-Portal.org
Jump to navigationJump to searchTrack the most recent changes to the wiki on this page.
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 | ||||
| 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 | ||||