FO model checking on geometric graphs (Q1631773)

From MaRDI portal
scientific article
Language Label Description Also known as
English
FO model checking on geometric graphs
scientific article

    Statements

    FO model checking on geometric graphs (English)
    0 references
    0 references
    0 references
    0 references
    7 December 2018
    0 references
    first-order logic
    0 references
    model checking
    0 references
    fixed-parameter tractability
    0 references
    intersection graphs
    0 references
    visibility graphs
    0 references
    0 references
    0 references
    0 references

    Identifiers

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