Term Rewriting System
R
:
[
X
]
f
(
X
) ->
g
Innermost Termination
of
R
to be shown.
R
↳
Dependency Pair Analysis
R
contains
no
Dependency Pairs
and therefore no SCCs.
Innermost Termination
of
R
successfully shown.
Duration:
0:00 minutes