m-chrzan.xyz
aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarcin Chrzanowski <mc370754@students.mimuw.edu.pl>2022-02-05 20:55:20 +0100
committerMarcin Chrzanowski <mc370754@students.mimuw.edu.pl>2022-02-05 20:55:20 +0100
commit499c4bd69d3d6fa8a0c17fd4fefc4ad64b788307 (patch)
tree6fb3924b05bb491a7926d79854f7609735ebb9d2
parent20549d52dc3066328a64000db4a9b4b6b1a42193 (diff)
Remove unnecessary commas
-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