Monadic Second Order Finite Satisfiability and Unbounded Tree-Width (Q5278399)
From MaRDI portal
scientific article; zbMATH DE number 6748862
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Monadic Second Order Finite Satisfiability and Unbounded Tree-Width |
scientific article; zbMATH DE number 6748862 |
Statements
19 July 2017
0 references
monadic second-order logic MSO
0 references
two-variable fragment with counting C2
0 references
finite decidability
0 references
unbounded tree-width
0 references
WS1S with cardinality constraints
0 references
Monadic Second Order Finite Satisfiability and Unbounded Tree-Width (English)
0 references
