E
[EJ91] E. Allen Emerson et Charanjit S. Jutla. Tree Automata, Mu-Calculus and Determinacy. In FOCS'91, pages 368-377. IEEE Comp. Soc. Press, octobre 1991.
@inproceedings{focs1991-EJ,
  author =              {Emerson, E. Allen and Jutla, Charanjit S.},
  title =               {Tree Automata, Mu-Calculus and Determinacy},
  booktitle =           {{P}roceedings of the 32nd {A}nnual {S}ymposium on
                         {F}oundations of {C}omputer {S}cience ({FOCS}'91)},
  acronym =             {{FOCS}'91},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {368-377},
  year =                {1991},
  month =               oct,
  doi =                 {10.1109/SFCS.1991.185392},
}
Liste des auteurs