f(a, a) -> f(a, b)

f(a, b) -> f(s(a), c)

f(s(

f(c, c) -> f(a, a)

R

↳Dependency Pair Analysis

F(a, a) -> F(a, b)

F(a, b) -> F(s(a), c)

F(s(X), c) -> F(X, c)

F(c, c) -> F(a, a)

Furthermore,

R

↳DPs

→DP Problem 1

↳Remaining Obligation(s)

The following remains to be proven:

**F(c, c) -> F(a, a)****F(s( X), c) -> F(X, c)**

f(a, a) -> f(a, b)

f(a, b) -> f(s(a), c)

f(s(X), c) -> f(X, c)

f(c, c) -> f(a, a)

innermost

Duration:

0:00 minutes