@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://archive.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 - http://archive.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 http://archive.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. http://archive.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. | Numdam | MR | Zbl
,3. Infinite Trees in Normal Form and Recursive Equations Having a Unique Sollution, Math. Systems Theory, Vol. 13, 1978, pp. 131-180. | MR | Zbl
,4. Fundamental Properties of Infinite Trees, in Theoretical Computer Science, Vol. 25, 1983, pp. 95-169. | MR | Zbl
,5. Continuous Monoids and Yields of Infinite Trees, Technical report No. IT-74-85, Lille-I, juin 1985. | Numdam | MR
and ,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. | Numdam | MR | Zbl
,7. Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems, J. A.C.M., Vol. 27, 1980, pp. 797-821. | MR | Zbl
,8. Testing and Generating Infinite Sequences by a Finite Automaton, Information and Control, Vol. 9, 1966, pp. 521-530. | MR | Zbl
,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. | MR | Zbl
,10. Infinite Words, Infinite Trees, Infinite Computations, in Mathematical Centre Tracts, Vol. 109, 1979, pp. 1-52. | MR | Zbl
,11. "Ensembles reconnaissables de mots bi-infinis". Rapport LITP, 52, 1981.
and ,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. | MR | Zbl
,14. Feuillages d'arbres infinis, Thèse de 3e Cycle, Lille-I, juin 1984.
,