\begin{slide}{Beispiele}

Signatur (mit Stelligkeiten): $\Sigma=\{e^0,s^1,p^2,m^2,h^2\}$
\[ R=\{ p(e,y) \to y, p(s(x),y) \to s(p(x,y)) \} \]
Ableitungen von $p(p(e,s(e)),s(e))$?

\end{slide}
