40 : 32457 Christian Fröhlich 24 : 36189 Mathias Schilha 18 : 36178 Stephan Krull
TRS { variablen = [ x,y,a,b,t ] , regeln = [ f(x,y) -> g(x,y,Z), g(Z,y,t) -> t, g(S(x),y,t) -> h(x,y,Z,Z,t), h(x,S(y),a,b,t) -> h(x,y,S(a),S(b),t), h(x,Z,a,b,t) -> g(x,a,add(b,t)), add(S(b),t) -> add(b,S(t)), add(Z,t) -> t ] }