\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}