48/251
\begin{frame}
  \frametitle{Motivation}
  
  Term rewriting is used in:
  \begin{itemize}
    \item functional programming (higher order term rewriting)
    \item model checking (e.g. mCRL)
    \item compiler construction (graph rewriting)
    \item computer algebra systems (e.g. Mathematica, Wolfram Alpha)
    \item proof assistants / automated theorem provers 
    \item deciding equality in equational systems (axiom systems)
    \item abstract model of computation
    \item \ldots
  \end{itemize}
\end{frame}