Complexity of Two-Variable Logic on Finite Trees (Q5278193)
From MaRDI portal
scientific article; zbMATH DE number 6744577
Language | Label | Description | Also known as |
---|---|---|---|
English | Complexity of Two-Variable Logic on Finite Trees |
scientific article; zbMATH DE number 6744577 |
Statements
Complexity of Two-Variable Logic on Finite Trees (English)
0 references
13 July 2017
0 references
trees
0 references
logic
0 references