Guy Vidal-Naquet. Quelques applications des automates à arbres infinis. In ICALP. pages 115-122, 1972.
@inproceedings{Vidal-Naquet72,
title = {Quelques applications des automates à arbres infinis},
author = {Guy Vidal-Naquet},
year = {1972},
researchr = {https://researchr.org/publication/Vidal-Naquet72},
cites = {0},
citedby = {0},
pages = {115-122},
booktitle = {ICALP},
}