Advertisement

Fixed-points and algebras with infinitely long expressions, II

  • J. Tiuryn
Section B Computation Theory in Category
Part of the Lecture Notes in Computer Science book series (LNCS, volume 56)

Keywords

Universal Algebra Characterization Theorem Abstract Class Operation Symbol Regular Algebra 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    ADJ (Authors: J.A. Goguen, J.W. Thatcher, E.G. Wagner, J.B. Wright). Initial algebra semantics and Countinuous Algebras.Journal of the A.C.M., 24 (1977) 68–95.Google Scholar
  2. 2.
    ADJ. (Authors: Some fundamentals of order — algebraic semantics. In: Mathematical Foundations of Computer Science, Lecture Notes in Computer Science, vol. 45, pp. 153–168, Springer Verlag Berlin, 1976.Google Scholar
  3. 3.
    Bloom, S.L. Varieties of ordered algebras. Journal of Comp. and System Sci., 13 (1976) 200–212.Google Scholar
  4. 4.
    Gratzer, G. Universal algebra.D.Van Nostrand Co. 1968.Google Scholar
  5. 5.
    Tiuryn, J. Fixed-points and algebras with infinitely long expressions, I. In: Mathematical Foundations of Computer Science, Tatranska Lomnica 1977,Lecture Notes in Computer Science, Springer Verlag Berlin 1977.Google Scholar
  6. 6.
    Tiuryn, J. Fixed-points and algebras with infinitely long expressions. Part I — regular algebras. To appear.Google Scholar
  7. 7.
    Tiuryn, J. Fixed-points and algebras with infinitely long expressions. Part II-μ-clones of regular algebras. To appear.Google Scholar
  8. 8.
    Wand, M. A concrete approach to abstract recursive definitions. In: Automata Languages and Programming, pp. 331–341, North — Holland Publishing Co, 1973.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1977

Authors and Affiliations

  • J. Tiuryn
    • 1
  1. 1.Institute of MathematicsWarsaw UniversityWarsawPoland

Personalised recommendations