Weak MSO with the Unbounding Quantifier (Q5389974)
From MaRDI portal
scientific article; zbMATH DE number 6027213
Language | Label | Description | Also known as |
---|---|---|---|
English | Weak MSO with the Unbounding Quantifier |
scientific article; zbMATH DE number 6027213 |
Statements
24 April 2012
0 references
automata
0 references
monadic second-order logic
0 references
Weak MSO with the Unbounding Quantifier (English)
0 references