/home/nowonder/forschung/aprove/TPDB05/TRS/nontermin/CSR/Ex3_3_25_Bor03.trs

The program

(VAR YS X XS Y L)

(RULES 
app(nil,YS) -> YS
app(cons(X,XS),YS) -> cons(X,app(XS,YS))
from(X) -> cons(X,from(s(X)))
zWadr(nil,YS) -> nil
zWadr(XS,nil) -> nil
zWadr(cons(X,XS),cons(Y,YS)) -> cons(app(Y,cons(X,nil)),zWadr(XS,YS))
prefix(L) -> cons(nil,zWadr(L,prefix(L)))
)

Submit to AProVE Web Frontend

Edit in AProVE Web Frontend