Fixed points in the power-set algebra of infinite trees

  • Jerzy Tiuryn
Part of the Lecture Notes in Computer Science book series (LNCS, volume 74)


Regular Tree Bottom Element Regular Algebra Infinite Word Tree Grammar 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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.Google Scholar
  2. Arnold, A., Nivat, M. [1978] The metric space of infinite trees. Algebraic and topological properties. Rapport de Recherche No. 323, IRIA.Google Scholar
  3. Engelfriet, J., Schmidt E.M. [1977] IO and OI. I. J. Comput. System Sci., 15.Google Scholar
  4. Mycielski, J., Taylor, W. [1976] A compactification of the algebra of terms. Algebra Universalis, 6.Google Scholar
  5. 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.Google Scholar
  6. 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.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1979

Authors and Affiliations

  • Jerzy Tiuryn
    • 1
    • 2
  1. 1.Lehrstuhl für Informatik IIRWTH AachenGermany
  2. 2.Institute of MathematicsWarsaw UniversityPoland

Personalised recommendations