Where First-Order and Monadic Second-Order Logic Coincide (Q5278195)
From MaRDI portal
scientific article; zbMATH DE number 6744579
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Where First-Order and Monadic Second-Order Logic Coincide |
scientific article; zbMATH DE number 6744579 |
Statements
Where First-Order and Monadic Second-Order Logic Coincide (English)
0 references
13 July 2017
0 references
first-order logic
0 references
graph classes
0 references
guarded second-order logic
0 references
monadic second-order logic
0 references
tree depth
0 references
