@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},
year = {1986},
publisher = {AFCET - Gauthier-Villars},
address = {Paris},
volume = {20},
number = {3},
mrnumber = {894714},
zbl = {0605.06012},
language = {en},
url = {https://www.numdam.org/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 - https://www.numdam.org/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 https://www.numdam.org/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. https://www.numdam.org/item/ITA_1986__20_3_251_0/
1. , Objets infinis calculables, Thèse d'État, Lille-I, mars 1982.
2. , Frontiers of Infinite Trees, in R.A.I.R.O., Informatique Théorique, Vol. 12, 1978, pp. 319-337. | Zbl | MR | Numdam
3. , Infinite Trees in Normal Form and Recursive Equations Having a Unique Sollution, Math. Systems Theory, Vol. 13, 1978, pp. 131-180. | Zbl | MR
4. , Fundamental Properties of Infinite Trees, in Theoretical Computer Science, Vol. 25, 1983, pp. 95-169. | Zbl | MR
5. and , Continuous Monoids and Yields of Infinite Trees, Technical report No. IT-74-85, Lille-I, juin 1985. | MR | Numdam
6. , 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 | Numdam
7. , Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems, J. A.C.M., Vol. 27, 1980, pp. 797-821. | Zbl | MR
8. , Testing and Generating Infinite Sequences by a Finite Automaton, Information and Control, Vol. 9, 1966, pp. 521-530. | Zbl | MR
9. , 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. , Infinite Words, Infinite Trees, Infinite Computations, in Mathematical Centre Tracts, Vol. 109, 1979, pp. 1-52. | Zbl | MR
11. and , "Ensembles reconnaissables de mots bi-infinis". Rapport LITP, 52, 1981.
12. , On Frontier of Regular Trees, (to appear this journal). | Numdam
13. , Yields of Infinite Trees, Proc. 9th CAAP, Bordeaux, 1984, in Cambridge University Press, pp. 199-311. | Zbl | MR
14. , Feuillages d'arbres infinis, Thèse de 3e Cycle, Lille-I, juin 1984.





