On spectra of sentences of monadic second order logic with counting (Q5311744)
From MaRDI portal
scientific article; zbMATH DE number 2199949
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On spectra of sentences of monadic second order logic with counting |
scientific article; zbMATH DE number 2199949 |
Statements
On spectra of sentences of monadic second order logic with counting (English)
0 references
29 August 2005
0 references
spectrum of a sentence
0 references
Counting Monadic Second-Order Logic
0 references
clique width
0 references
bounded tree-width
0 references
ultimate periodicity
0 references
Guarded Second-Order Logic
0 references
many-sorted spectra
0 references
Parikh's Theorem
0 references
