Succinctness of Order-Invariant Logics on Depth-Bounded Structures (Q4608722)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Succinctness of Order-Invariant Logics on Depth-Bounded Structures |
scientific article; zbMATH DE number 6852236
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Succinctness of Order-Invariant Logics on Depth-Bounded Structures |
scientific article; zbMATH DE number 6852236 |
Statements
Succinctness of Order-Invariant Logics on Depth-Bounded Structures (English)
0 references
22 March 2018
0 references
expressivity
0 references
first-order logic
0 references
monadic second-order logic
0 references
order-invariance
0 references
succinctness
0 references
tree-depth
0 references
0.98528993
0 references
0.89753467
0 references
0.8917081
0 references
0.8906712
0 references
0.8885688
0 references
0.88745797
0 references
0.8874579
0 references
0.8795435
0 references
0.8766447
0 references
