- Tytuł:
- Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees
- Autorzy:
-
Bárány, V.
Kaiser, Ł.
Rabinovich, A. - Data publikacji:
- 2010
- Słowa kluczowe:
-
infinite trees
monadic 2nd-order logic
cardinality quantifiers
Cantor topology - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł