m-chrzan.xyz
aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--mgr.tex4
1 files changed, 2 insertions, 2 deletions
diff --git a/mgr.tex b/mgr.tex
index 9194f59..df3b6a6 100644
--- a/mgr.tex
+++ b/mgr.tex
@@ -139,8 +139,8 @@ question):
Note that though we speak of MSO formulae with second-order variables only,
first-order variables are supported by simply restricting to questions in which
-sets assigned to first-order variables are singletons. Also note, that for
-formulae with first-order free variables only, question answering happens in
+sets assigned to first-order variables are singletons. Also note that for
+formulae with first-order free variables only question answering happens in
constant time.
Through a series of reductions, we will show that MSO query answering reduces to