\begin{frame} \begin{block}{} \begin{center}{\Large Abstract Rewrite Systems}\end{center} \end{block} \end{frame}