diff options
-rw-r--r-- | mgr.tex | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -43,7 +43,6 @@ \begin{document} \maketitle -%tu idzie streszczenie na strone poczatkowa \begin{abstract} We define relabel regular queries on trees, which, via the known equivalence between tree automata and MSO formulae on trees, happens to be a |