diff options
| -rw-r--r-- | mgr.tex | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 |