Highlights 2021
On Uniformization in the Full Binary Tree
Abstract
We consider Variants of Uniformization Problem for the Monadic Second Order Logics over the full binary tree.
Authors
Keywords
No keywords are indexed for this paper.
Context
- Venue
- Highlights of Logic, Games and Automata
- Archive span
- 2013-2025
- Indexed papers
- 1236
- Paper id
- 965658277177540651