A unified approach to boundedness properties in MSO (Q5351973)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6767611
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A unified approach to boundedness properties in MSO |
scientific article; zbMATH DE number 6767611 |
Statements
31 August 2017
0 references
quantitative logics
0 references
monadic second-order logic
0 references
boundedness
0 references
automatic structures
0 references
tree automata
0 references
0.8033504486083984
0 references
0.7778472900390625
0 references
0.7737534642219543
0 references
0.7672570943832397
0 references
0.7632210850715637
0 references
