Beispiele

Signatur (mit Stelligkeiten): $ \Sigma$ = {e0, s1, p2, m2, h2}

R = {p(e, y)$\displaystyle \to$y, p(s(x), y)$\displaystyle \to$s(p(x, y))}

Ableitungen von p(p(e, s(e)), s(e))?



Johannes Waldmann 2007-01-30