m-chrzan.xyz
aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--mgr.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/mgr.tex b/mgr.tex
index 217e99d..0c52c76 100644
--- a/mgr.tex
+++ b/mgr.tex
@@ -162,7 +162,7 @@ the following problem about tree automata, which we solve in Chapter
\section{Related Work}
-Query answering is one generatlization of model checking to the case of formulae
+Query answering is one generalization of model checking to the case of formulae
with free variables. Another related one is \definedterm{query enumeration}.
Similar to query answering, we again allow the structure and query to be
preprocessed. Then, instead of answering individual questions about valuations,