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, }