Where First-Order and Monadic Second-Order Logic Coincide (Q2986803)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Where First-Order and Monadic Second-Order Logic Coincide |
scientific article |
Statements
Where First-Order and Monadic Second-Order Logic Coincide (English)
0 references
16 May 2017
0 references
first-order logic
0 references
monadic second-order logic
0 references
guarded second-order logic
0 references
tree depth
0 references
graph classes
0 references
