diff options
Diffstat (limited to 'presentation')
| -rw-r--r-- | presentation/presentation.md | 3 |
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 |