m-chrzan.xyz
aboutsummaryrefslogtreecommitdiff
path: root/presentation/presentation.md
diff options
context:
space:
mode:
Diffstat (limited to 'presentation/presentation.md')
-rw-r--r--presentation/presentation.md3
1 files changed, 1 insertions, 2 deletions
diff --git a/presentation/presentation.md b/presentation/presentation.md
index 3004971..38009ba 100644
--- a/presentation/presentation.md
+++ b/presentation/presentation.md
@@ -75,8 +75,7 @@ singletons.
## Reductions
-* Reduce from MSO to tree automaton (nonelementary wrt to $\varphi$, linear wrt
- to tree).
+* Reduce from MSO to tree automaton (nonelementary wrt to $\varphi$).
* Transform to a binary tree.
## Relabel Regular Questions on Trees