On the expressive power of monadic least fixed point logic (Q817849)

From MaRDI portal
Revision as of 01:19, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
On the expressive power of monadic least fixed point logic
scientific article

    Statements

    On the expressive power of monadic least fixed point logic (English)
    0 references
    0 references
    20 March 2006
    0 references
    finite model theory
    0 references
    descriptive complexity theory
    0 references
    fixed point logic
    0 references
    monadic second-order logic
    0 references
    linear time complexity classes
    0 references

    Identifiers