Closure of monadic NP

Conference Proceedings of the Annual ACM Symposium on Theory of Computing

Volumn , Issue , 1998, Pages 309-318

  Ajtai, Miklos ^a   Fagin, Ronald ^a   Stockmeyer, Larry ^a  

^a IBM ALMADEN RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; GAME THEORY; GRAPH THEORY;

FIRST-ORDER QUANTIFIERS; SECOND-ORDER QUANTIFIERS;

COMPUTATIONAL COMPLEXITY;

EID: 0031643580     PISSN: 07349025     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (23)