From b5cb7a4a53b4a680eab2d6ee6497db2d7890730d Mon Sep 17 00:00:00 2001 From: Marcin Chrzanowski Date: Sat, 11 Dec 2021 17:18:10 +0100 Subject: Fix typo --- mgr.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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. -- cgit v1.2.3