Abstract
The spectra of monadic second-order (MSO) formulas with one unary function is studied. The spectrum of a first-order or second-order formula is the set of the cardinalities of its finite models. A direct proof of the decidability of the finite satisfiability of MSO formulas with one unary function symbol is given.
| Original language | English |
|---|---|
| Pages (from-to) | 291-300 |
| Number of pages | 10 |
| Journal | Proceedings - Symposium on Logic in Computer Science |
| State | Published - 2003 |
| Event | 18th Annual IEEE Symposium on Logic in Computer Science - Ottawa, Ont., Canada Duration: 22 Jun 2003 → 25 Jun 2003 |
Fingerprint
Dive into the research topics of 'Spectra of monadic second-order formulas with one unary function'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver