\begin{frame}
  \small

  \begin{block}{Well-Founded Monotone Algebras}
  \smallskip
  used in termination proofs/tools\,:
  \begin{itemize}
  \item
  \alert<6>{polynomial interpretations over $\NN$} \pause
  \item
  polynomial interpretations over $\QQ$ and $\Rr$ \pause
  \item
  matrix interpretations over $\NN$ \pause
  \item
  matrix interpretations over $\NN \cup \{ -\infty \}$ \pause
  \item
  $\cdots$
  \smallskip
  \end{itemize}
  \end{block}
  
\end{frame}