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
9 June 2026
| 12:27 | PTRS Innermost diffhist -1 JCKassing talk contribs Small fixes | ||||
| 12:25 | PTRS Standard diffhist 0 JCKassing talk contribs Small fixes | ||||
|
|
12:24 | SRS Relative 2 changes history +8 [JCKassing (2×)] | |||
| m |
|
12:24 (cur | prev) -80 JCKassing talk contribs Use the transitive-reflexive closure! | |||
|
|
12:23 (cur | prev) +88 JCKassing talk contribs Small fixes | ||||
| 12:21 | SRS Standard diffhist +87 JCKassing talk contribs Small fixes | ||||
| 12:18 | TRS Conditional diffhist -12 JCKassing talk contribs Small fixes | ||||
| m 12:17 | TRS Contextsensitive diffhist 0 JCKassing talk contribs Small fixes | ||||
| m 12:16 | TRS Derivational Complexity diffhist -134 JCKassing talk contribs Small fixes | ||||
| 12:15 | TRS Equational diffhist -10 JCKassing talk contribs Small fixes | ||||
| 12:14 | TRS Innermost diffhist +10 JCKassing talk contribs Small fixes | ||||
| 12:13 | TRS Innermost Derivational Complexity diffhist -130 JCKassing talk contribs Small fixes | ||||
| 12:11 | TRS Innermost Runtime Complexity diffhist -143 JCKassing talk contribs Small fixes | ||||
| 12:08 | TRS Parallel Innermost Derivational Complexity diffhist +2 JCKassing talk contribs Small fixes | ||||
| m 12:06 | TRS Relative diffhist +152 JCKassing talk contribs Small fixes | ||||
| m 11:59 | TRS Runtime Complexity diffhist -135 JCKassing talk contribs Small fixes | ||||
| m 11:54 | TRS Standard diffhist 0 JCKassing talk contribs Fixed wrong indice | ||||