Over words, two variables are as powerful as one quantifier alternation: FO2 = Σ2 at the intersection of all sets Π2

Conference Proceedings of the Annual ACM Symposium on Theory of Computing

Volumn , Issue , 1998, Pages 234-240

  Therien, Denis ^a   Wilke, Thomas ^a  

^a MCGILL UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; GAME THEORY; MATHEMATICAL MODELS;

FIRST-ORDER LOGIC;

COMBINATORIAL MATHEMATICS;

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

References (20)