diff options
| -rw-r--r-- | mgr.tex | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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, |