diff options
author | Marcin Chrzanowski <mc370754@students.mimuw.edu.pl> | 2021-12-09 15:53:49 +0100 |
---|---|---|
committer | Marcin Chrzanowski <mc370754@students.mimuw.edu.pl> | 2021-12-09 15:53:49 +0100 |
commit | a3219a82dcb2b5cdff512b75577a3fe0d7dd91b4 (patch) | |
tree | cea8e1f725e960c6f7f9a33f32410f5a63ce2a8d /mgr.tex | |
parent | 2ea016d15ca9f777fc99e9f6b2b5a144b056da23 (diff) |
Add MSO to automaton citation
Diffstat (limited to 'mgr.tex')
-rw-r--r-- | mgr.tex | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -304,7 +304,8 @@ We make use of a fundamental theorem tying MSO logic on trees and tree automata: We note that the converse of this theorem is also true (i.e. that for every tree automaton, there is a corresponding MSO formula), however we will use only the -MSO to automata direction in this work. +MSO to automata direction in this work. See for example BojaĆczyk's text +\cite{bojanczyktoolbox} for a proof of both directions. \section{Query answering problems}\label{query-answering-problems} |