m-chrzan.xyz
aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarcin Chrzanowski <mc370754@students.mimuw.edu.pl>2021-12-11 17:18:10 +0100
committerMarcin Chrzanowski <mc370754@students.mimuw.edu.pl>2021-12-11 17:18:10 +0100
commitb5cb7a4a53b4a680eab2d6ee6497db2d7890730d (patch)
treefd9b526e545c2eeb47490eef7b10a924528a0756
parent1cc356cd8533d0407fcc01d600389c33ac8f594b (diff)
Fix typo
-rw-r--r--mgr.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/mgr.tex b/mgr.tex
index 61e5039..a708738 100644
--- a/mgr.tex
+++ b/mgr.tex
@@ -161,7 +161,7 @@ successive answer is constant. \lineardelaylin\ is a generalization of
in the size of the answer being output. \textcite{bagan2006} introduced this
second notion and showed that enumerating MSO queries is \lineardelaylin\ on
trees. This in particular means that enumerating MSO queries for formulae whose
-free variables are all first order is in \constantdelaylin, and
+free variables are all first-order is in \constantdelaylin, and
\textcite{kazana2013} revisit this result, proving it using deterministic
factorization forests due to \textcite{colcombet} rather than Bagan's intricate
indexing structure.