T
[TW98] Denis Thérien et Thomas Wilke. Over Words, Two Variables Are as Powerful as One Quantifier Alternation: FO2 = Σ2 ∩Π2. In STOC'98, pages 234-240. ACM Press, mai 1998. 
@inproceedings{stoc1998-TW,
  author =              {Th{\'e}rien, Denis and Wilke, Thomas},
  title =               {Over Words, Two Variables Are as Powerful as One
                         Quantifier Alternation: {\(\textup{FO}^2 = \Sigma_2
                         \cap \Pi_2\)}},
  booktitle =           {{P}roceedings of the 30th {A}nnual {ACM} {S}ymposium
                         on the {T}heory of {C}omputing ({STOC}'98)},
  acronym =             {{STOC}'98},
  publisher =           {ACM Press},
  pages =               {234-240},
  year =                {1998},
  month =               may,
}
Liste des auteurs