\input{preamble.tex}
\input{frames.tex}

\title{Übung 10: $\mu$Rekursion, Entscheidbarkeit}
\subtitle{Theoretische Informatik Sommersemester 2013}
\author{\href{mailto:markus.kaiser@in.tum.de}{Markus Kaiser}}

\begin{document}
\showUnit{titel}
\showUnit{loop}
\showUnit{prerweitert}
\showUnit{prmax}
\showUnit{murekursion}
\showUnit{berechenbarkeit}
\showUnit{entscheidbarkeit}
\showUnit{breduktion}
\end{document}