diff options
Diffstat (limited to 'mgr.tex')
| -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. |