\section{Semantik von Programmiersprachen}

\input{semantik/stadyn}
\input{semantik/ag}
\input{semantik/typ}
\input{semantik/stack}
\input{semantik/dyn}
\input{semantik/oper}
\input{semantik/axiom}
\input{semantik/deno}
\input{semantik/prak}




