Geodesic
Continuous monoids and yields of infinite trees
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 20 (1986) no. 3, pp. 251-274.

Voir la notice de l'article provenant de la source Numdam

@article{ITA_1986__20_3_251_0,
     author = {Dauchet, M. and Timmerman, E.},
     title = {Continuous monoids and yields of infinite trees},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {251--274},
     publisher = {AFCET - Gauthier-Villars},
     address = {Paris},
     volume = {20},
     number = {3},
     year = {1986},
     mrnumber = {894714},
     zbl = {0605.06012},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/ITA_1986__20_3_251_0/}
}
TY  - JOUR
AU  - Dauchet, M.
AU  - Timmerman, E.
TI  - Continuous monoids and yields of infinite trees
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 1986
SP  - 251
EP  - 274
VL  - 20
IS  - 3
PB  - AFCET - Gauthier-Villars
PP  - Paris
UR  - http://geodesic.mathdoc.fr/item/ITA_1986__20_3_251_0/
LA  - en
ID  - ITA_1986__20_3_251_0
ER  - 
%0 Journal Article
%A Dauchet, M.
%A Timmerman, E.
%T Continuous monoids and yields of infinite trees
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 1986
%P 251-274
%V 20
%N 3
%I AFCET - Gauthier-Villars
%C Paris
%U http://geodesic.mathdoc.fr/item/ITA_1986__20_3_251_0/
%G en
%F ITA_1986__20_3_251_0
Dauchet, M.; Timmerman, E. Continuous monoids and yields of infinite trees. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 20 (1986) no. 3, pp. 251-274. http://geodesic.mathdoc.fr/item/ITA_1986__20_3_251_0/

1. G. Comyn, Objets infinis calculables, Thèse d'État, Lille-I, mars 1982.

2. B. Courcelle, Frontiers of Infinite Trees, in R.A.I.R.O., Informatique Théorique, Vol. 12, 1978, pp. 319-337. | Zbl | MR | mathdoc-id

3. B. Courcelle, Infinite Trees in Normal Form and Recursive Equations Having a Unique Sollution, Math. Systems Theory, Vol. 13, 1978, pp. 131-180. | Zbl | MR

4. B. Courcelle, Fundamental Properties of Infinite Trees, in Theoretical Computer Science, Vol. 25, 1983, pp. 95-169. | Zbl | MR

5. M. Dauchet and E. Timmerman, Continuous Monoids and Yields of Infinite Trees, Technical report No. IT-74-85, Lille-I, juin 1985. | MR | mathdoc-id

6. S. Heilbrunner, An Algorithm for the Solution of Fixed Point Equations for Infinite Words, in R.A.I.R.O., Informatique Théorique, Vol. 14, 1980, pp. 131-141. | Zbl | MR | mathdoc-id

7. G. Huet, Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems, J. A.C.M., Vol. 27, 1980, pp. 797-821. | Zbl | MR

8. Macnaughton, Testing and Generating Infinite Sequences by a Finite Automaton, Information and Control, Vol. 9, 1966, pp. 521-530. | Zbl | MR

9. M. Nivat, Langages algébriques sur le magma libre et sémantique des schémas de programmes, in Automata, Languages and Programming, 1st Colloquium, Springer-Verlag, 1973, pp. 293-307. | Zbl | MR

10. M. Nivat, Infinite Words, Infinite Trees, Infinite Computations, in Mathematical Centre Tracts, Vol. 109, 1979, pp. 1-52. | Zbl | MR

11. M. Nivat and D. Perrin, "Ensembles reconnaissables de mots bi-infinis". Rapport LITP, 52, 1981.

12. W. Thomas, On Frontier of Regular Trees, (to appear this journal). | mathdoc-id

13. E. Timmerman, Yields of Infinite Trees, Proc. 9th CAAP, Bordeaux, 1984, in Cambridge University Press, pp. 199-311. | Zbl | MR

14. E. Timmerman, Feuillages d'arbres infinis, Thèse de 3e Cycle, Lille-I, juin 1984.