Canonization for two variables and puzzles on the square (Q1361251)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Canonization for two variables and puzzles on the square
scientific article

    Statements

    Canonization for two variables and puzzles on the square (English)
    0 references
    0 references
    10 September 1997
    0 references
    finite model theory
    0 references
    descriptive complexity
    0 references
    infinitary logic
    0 references
    counting quantifiers
    0 references
    finite relational structures
    0 references
    PTIME canonization
    0 references
    polynomial time computable functors
    0 references
    PTIME inverses
    0 references
    PTIME invariants
    0 references
    PTIME Boolean queries
    0 references

    Identifiers

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