\begin{slide}{Anwendung: Min/Max-Matrixungleichungen}

die Halbringoperationen in Min/Max
lassen sich (trivial) in RDL/IDL darstellen

\end{slide}
