Preview
Unable to display preview. Download preview PDF.
References
Arnold, A., Nivat, M. [1977] Non deterministic recursive program schemes. Proceedings FCT'77, Lecture Notes in Computer Science No. 56, Karpinski, M. (ed.), Springer Verlag.
Arnold, A., Nivat, M. [1978] The metric space of infinite trees. Algebraic and topological properties. Rapport de Recherche No. 323, IRIA.
Engelfriet, J., Schmidt E.M. [1977] IO and OI. I. J. Comput. System Sci., 15.
Mycielski, J., Taylor, W. [1976] A compactification of the algebra of terms. Algebra Universalis, 6.
Tiuryn, J. [1977] Fixed points and algebras with infinitely long expressions. Part I. Regular algebras. Proceedings MFCS'77, Lecture Notes in Comp. Sci. No. 53, Gruska, J. (ed.), Springer Verlag. The full version will appear in Fundamenta Informaticae.
Tiuryn, J. [1978] On a connection between regular algebras and rational algebraic theories. 2 nd Workshop Meeting on: Categorical and Algebraic Methods in Computer Science and System Theory, Dortmund.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1979 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tiuryn, J. (1979). Fixed points in the power-set algebra of infinite trees. In: Bečvář, J. (eds) Mathematical Foundations of Computer Science 1979. MFCS 1979. Lecture Notes in Computer Science, vol 74. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-09526-8_44
Download citation
DOI: https://doi.org/10.1007/3-540-09526-8_44
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09526-2
Online ISBN: 978-3-540-35088-0
eBook Packages: Springer Book Archive