Extended MSO model checking via small vertex integrity (Q6185940): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Set OpenAlex properties.
Property / OpenAlex ID
 
Property / OpenAlex ID: W4385667336 / rank
 
Normal rank

Revision as of 10:05, 30 July 2024

scientific article; zbMATH DE number 7785278
Language Label Description Also known as
English
Extended MSO model checking via small vertex integrity
scientific article; zbMATH DE number 7785278

    Statements

    Extended MSO model checking via small vertex integrity (English)
    0 references
    0 references
    0 references
    0 references
    9 January 2024
    0 references
    vertex integrity
    0 references
    monadic second-order logic
    0 references
    cardinality constraint
    0 references
    fixed-parameter tractability
    0 references

    Identifiers