Skip to main content
SpringerLink
Log in

Fixed-points and algebras with infinitely long expressions, I

  • Communications
  • Conference paper
  • First Online:
Mathematical Foundations of Computer Science 1977 (MFCS 1977)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 53))

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. ADJ (Authors: J.A.Goguen, J.W.Thatcher, E.G.Wagner, J.B.Wright). Rational algebraic theories and fixed-point solutions (Extended abstract). IBM Research Report, RC 6116, 1976.

    Google Scholar 

  2. ADJ. 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. Goguen, J.A. and Thatcher, J.W. Initial algebra semantics. IEEE Conf. Rec. SWAT 15(1974), 63–77.

    Google Scholar 

  4. Gratzer, G. Universal algebra. D. Van Nostrand Co. 1968.

    Google Scholar 

  5. Scott, D. The lattice of flow diagrams. In:Symposium on Semantics of Algorithmic Languages, Lecture Notes in Mathematics, vol. 182, pp. 311–366, Springer Verlag, 1971.

    Google Scholar 

  6. Tarski, A. A lattice theoretical fixpoint theorem and its applications, Pacific J. of Math. 5(1955) 285–309.

    Google Scholar 

  7. Tiuryn, J. Fixed — points and algebras with infinitely long. expressions. Part I — regular algebras. To appear.

    Google Scholar 

  8. Tiuryn, J. Fixed — points and algebras with infinitely long expressions. Part II — μ-clones of regular algebras. To appear.

    Google Scholar 

  9. Wand, M. A concrete approach to abstract recursive definitions. In: Automata Languages and Programming, pp.331–341, North-Holland Publishing C, 1973.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Mathematics, Warsaw University, PKiN IX p., 00-901, Warsaw, Poland

    J. Tiuryn

Authors
  1. J. Tiuryn
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jozef Gruska

Rights and permissions

Reprints and permissions

Copyright information

© 1977 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Tiuryn, J. (1977). Fixed-points and algebras with infinitely long expressions, I. In: Gruska, J. (eds) Mathematical Foundations of Computer Science 1977. MFCS 1977. Lecture Notes in Computer Science, vol 53. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-08353-7_174

Download citation

  • DOI: https://doi.org/10.1007/3-540-08353-7_174

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-08353-5

  • Online ISBN: 978-3-540-37285-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation