Courcelle's theorem -- a game-theoretic approach (Q408375): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Importer (talk | contribs)
Changed an Item
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 68Q60 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 03B15 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 91A80 / rank
 
Normal rank
Property / zbMATH DE Number
 
Property / zbMATH DE Number: 6022217 / rank
 
Normal rank
Property / zbMATH Keywords
 
parameterized algorithms
Property / zbMATH Keywords: parameterized algorithms / rank
 
Normal rank
Property / zbMATH Keywords
 
model checking
Property / zbMATH Keywords: model checking / rank
 
Normal rank
Property / zbMATH Keywords
 
monadic second-order logic
Property / zbMATH Keywords: monadic second-order logic / rank
 
Normal rank
Property / zbMATH Keywords
 
treewidth
Property / zbMATH Keywords: treewidth / rank
 
Normal rank

Revision as of 18:00, 29 June 2023

scientific article
Language Label Description Also known as
English
Courcelle's theorem -- a game-theoretic approach
scientific article

    Statements

    Courcelle's theorem -- a game-theoretic approach (English)
    0 references
    0 references
    0 references
    0 references
    5 April 2012
    0 references
    parameterized algorithms
    0 references
    model checking
    0 references
    monadic second-order logic
    0 references
    treewidth
    0 references

    Identifiers