Term Rewriting System
R
:
[]
c
->
f
f
->
g
Innermost Termination
of
R
to be shown.
R
↳
Dependency Pair Analysis
R
contains the following
Dependency Pairs:
C
->
F
R
contains
no
SCCs.
Innermost Termination
of
R
successfully shown.
Duration:
0:00 minutes