Guy Vidal-Naquet
Quelques applications des automates à arbres infinis
ICALP, 1972.
@inproceedings{ICALP-1972-Vidal-Naquet,
author = "Guy Vidal-Naquet",
booktitle = "{Proceedings of the Colloquium on Automata, Languages and Programming}",
isbn = "0-7204-2074-1",
pages = "115--122",
title = "{Quelques applications des automates à arbres infinis}",
year = 1972,
}











