Category:Categories
From Termination-Portal.org
Jump to navigationJump to search
The tools work on different types of problems, which are listed on this site.
Pages in category "Categories"
The following 28 pages are in this category, out of 28 total.
T
- TRS Conditional
- TRS Conditional - Operational Termination
- TRS Contextsensitive
- TRS Derivational Complexity
- TRS Equational
- TRS Innermost
- TRS Innermost Derivational Complexity
- TRS Innermost Runtime Complexity
- TRS Outermost
- TRS Parallel Innermost Derivational Complexity
- TRS Relative
- TRS Runtime Complexity
- TRS Standard
