:(:(

:(+(

:(

R

↳Dependency Pair Analysis

:'(:(x,y),z) -> :'(x, :(y,z))

:'(:(x,y),z) -> :'(y,z)

:'(+(x,y),z) -> :'(x,z)

:'(+(x,y),z) -> :'(y,z)

:'(z, +(x, f(y))) -> :'(g(z,y), +(x, a))

Furthermore,

R

↳DPs

→DP Problem 1

↳Remaining Obligation(s)

The following remains to be proven:

**:'(+( x, y), z) -> :'(y, z)**

:(:(x,y),z) -> :(x, :(y,z))

:(+(x,y),z) -> +(:(x,z), :(y,z))

:(z, +(x, f(y))) -> :(g(z,y), +(x, a))

Duration:

0:00 minutes