On the First-Order Complexity of Induced Subgraph Isomorphism (Q5111210)

From MaRDI portal
scientific article; zbMATH DE number 7204332
Language Label Description Also known as
English
On the First-Order Complexity of Induced Subgraph Isomorphism
scientific article; zbMATH DE number 7204332

    Statements

    0 references
    0 references
    26 May 2020
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    induced subgraph isomorphism problem
    0 references
    descriptive and computational complexity
    0 references
    finite-variable first-order logic
    0 references
    quantifier depth and variable width
    0 references
    0 references
    On the First-Order Complexity of Induced Subgraph Isomorphism (English)
    0 references