Structure Theorem and Strict Alternation Hierarchy for FO^2 on Words (Q3395099)

From MaRDI portal
Revision as of 15:25, 19 April 2024 by Importer (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Structure Theorem and Strict Alternation Hierarchy for FO^2 on Words
scientific article

    Statements

    Structure Theorem and Strict Alternation Hierarchy for FO^2 on Words (English)
    0 references
    0 references
    0 references
    20 August 2009
    0 references
    finite model theory
    0 references
    descriptive complexity
    0 references
    alternation hierarchy
    0 references
    Ehrenfeucht-Fraïssé games
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references