K
[KSV96] Orna Kupferman, Shmuel Safra et Moshe Y. Vardi. Relating Word and Tree Automata. In LICS'96, pages 322-332. IEEE Comp. Soc. Press, juillet 1996. 
@inproceedings{lics1996-KSV,
  author =              {Kupferman, Orna and Safra, Shmuel and Vardi, Moshe
                         Y.},
  title =               {Relating Word and Tree Automata},
  booktitle =           {{P}roceedings of the 11th {A}nnual {S}ymposium on
                         {L}ogic in {C}omputer {S}cience ({LICS}'96)},
  acronym =             {{LICS}'96},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {322-332},
  year =                {1996},
  month =               jul,
  doi =                 {10.1109/LICS.1996.561360},
}
Liste des auteurs