@phdthesis{hal-8307,
  title = {Automates infinis, logiques et langages},
  author = {Arnaud Carayol},
  year = {2006},
  url = {https://tel.archives-ouvertes.fr/tel-00628513},
  researchr = {https://researchr.org/publication/hal-8307},
  cites = {0},
  citedby = {0},
  school = {University of Rennes 1, France},
}