diff options
author | Marcin Chrzanowski <mc370754@students.mimuw.edu.pl> | 2021-12-11 17:18:10 +0100 |
---|---|---|
committer | Marcin Chrzanowski <mc370754@students.mimuw.edu.pl> | 2021-12-11 17:18:10 +0100 |
commit | b5cb7a4a53b4a680eab2d6ee6497db2d7890730d (patch) | |
tree | fd9b526e545c2eeb47490eef7b10a924528a0756 | |
parent | 1cc356cd8533d0407fcc01d600389c33ac8f594b (diff) |
Fix typo
-rw-r--r-- | mgr.tex | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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. |