diff options
-rw-r--r-- | mgr.tex | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -93,12 +93,12 @@ % \end{quote} \section{Definitions} -\subsection{Monadic Second Order Logic} -a \subsection{Trees} b \subsection{Tree automata} c +\subsection{Monadic Second Order Logic} +a \subsection{Query answering problems} d \section{Known algorithms we will use} |