@article{ITA_1986__20_4_371_0, author = {Thomas, Wolfgang}, title = {On frontiers of regular trees}, journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications}, pages = {371--381}, publisher = {AFCET - Gauthier-Villars}, address = {Paris}, volume = {20}, number = {4}, year = {1986}, mrnumber = {880841}, zbl = {0639.68071}, language = {en}, url = {http://www.numdam.org/item/ITA_1986__20_4_371_0/} }
TY - JOUR AU - Thomas, Wolfgang TI - On frontiers of regular trees JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1986 SP - 371 EP - 381 VL - 20 IS - 4 PB - AFCET - Gauthier-Villars PP - Paris UR - http://www.numdam.org/item/ITA_1986__20_4_371_0/ LA - en ID - ITA_1986__20_4_371_0 ER -
%0 Journal Article %A Thomas, Wolfgang %T On frontiers of regular trees %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1986 %P 371-381 %V 20 %N 4 %I AFCET - Gauthier-Villars %C Paris %U http://www.numdam.org/item/ITA_1986__20_4_371_0/ %G en %F ITA_1986__20_4_371_0
Thomas, Wolfgang. On frontiers of regular trees. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 20 (1986) no. 4, pp. 371-381. http://www.numdam.org/item/ITA_1986__20_4_371_0/
1. Frontiers of Infinite Trees, RAIRO Inform. Theor., Vol. 12, 1978, pp. 319-337. | Numdam | MR | Zbl
,2. Fundamental Properties of Infinite Trees, Theor. Comput. Sci., Vol. 25, 1983, pp. 95-169. | MR | Zbl
,3. Decidability of Yield's Equality for Infinite Regular Trees, in: Automata on Infinité Words, M. NIVAT and D. PERRIN Eds., Springer Lect. Notes in Comput. Sci., Vol. 192, 1984, pp. 118-136. | MR | Zbl
and ,4. Gleichungs systeme für Zeichenreihen, Technische Universität München, Abt. Math., Bericht Nr. 7311, 1973.
,5. An Algorithm for the Solution of Fixed-point Equations for Infinite Words, RAIRO Inform. Théor., Vol. 14, 1980, pp. 131-141. | Numdam | MR | Zbl
,6. On the Elementary Theory of Linear Order, Fund. Math., Vol. 59, 1966, pp. 109-116. | MR | Zbl
and ,7. Decidability of Second-order Theories and Automata on Infinite Trees, Trans. Amer. Math. Soc., Vol. 141, 1969, pp. 1-35. | MR | Zbl
,8. Automata on Infinite Objects and Church's Problem, Reg. Conf. Ser. in Math. No 13, Amer. Math. Soc., Providence, R.I., 1972. | MR | Zbl
,9. Linear Orderings, Academic Press, New York, 1982. | MR | Zbl
,10. The Monadic Theory of Order, Ann. Math., Vol. 102, 1975, pp. 379-419. | MR | Zbl
,11. Yields of Infinite Trees, in: Ninth Colloquium on Trees in Algebra and Programming, B. COURCELLE Ed, Cambridge Univ. Press, 1984, pp. 299-312. | MR | Zbl
,12.
and , RAIRO Inform. Theor. (to appear).