Voir la notice de l'article provenant de la source Numdam
@article{ITA_1991__25_5_397_0,
author = {Coupet-Grimal, Solange},
title = {Prolog infinite trees and automata},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
pages = {397--418},
publisher = {EDP-Sciences},
volume = {25},
number = {5},
year = {1991},
mrnumber = {1144006},
zbl = {0764.68087},
language = {en},
url = {http://geodesic.mathdoc.fr/item/ITA_1991__25_5_397_0/}
}
TY - JOUR AU - Coupet-Grimal, Solange TI - Prolog infinite trees and automata JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1991 SP - 397 EP - 418 VL - 25 IS - 5 PB - EDP-Sciences UR - http://geodesic.mathdoc.fr/item/ITA_1991__25_5_397_0/ LA - en ID - ITA_1991__25_5_397_0 ER -
%0 Journal Article %A Coupet-Grimal, Solange %T Prolog infinite trees and automata %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1991 %P 397-418 %V 25 %N 5 %I EDP-Sciences %U http://geodesic.mathdoc.fr/item/ITA_1991__25_5_397_0/ %G en %F ITA_1991__25_5_397_0
Coupet-Grimal, Solange. Prolog infinite trees and automata. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 25 (1991) no. 5, pp. 397-418. http://geodesic.mathdoc.fr/item/ITA_1991__25_5_397_0/