Skip to main content
SpringerLink
Log in
Book cover

International Symposium on Mathematical Foundations of Computer Science

MFCS 1986: Mathematical Foundations of Computer Science 1986 pp 239–246Cite as

Iterative systems of equations

  • Communications
  • Conference paper
  • First Online:

  • 126 Accesses

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

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. ADJ (J.A.Goguen, J.W.Thatcher, E.G.Wagner, J.B.Wright), A Junction between Computer Science and Category Theory, IBM Research Report RC 4526 (1973), IBM Research Report RC 5908 (1976).

    Google Scholar 

  2. ADJ, Initial Algebra Semantics and Continuous Algebras, J. Assoc. Comput. Mach. 24 (1977).

    Google Scholar 

  3. ADJ (EGW, JWT, JBW), Free Continuous Theories, IBM Research Raport RC 6906 (1977).

    Google Scholar 

  4. ADJ (JWT, EGW, JBW), Notes on Algebraic Fundamentals for Theoretical Computer Science, Mathematical Centre Tracts 109 (1979).

    Google Scholar 

  5. R.M.Burstall, J.A. Goguen, Some Fundamentals Properties of Algebraic Theories: A Tool for Semantics of Computation, Theoret.Comput.Sci., 31 (1984).

    Google Scholar 

  6. V.E.CĂzĂnescu, Partial Flowcharts, Infinite Flowcharts and Rational Flowcharts, INCREST Preprint Series in Mathematics No.42 (1985).

    Google Scholar 

  7. M.Nivat, On the Interpretation of Polyadic Recursive Program Schemes, Symposia Mathematica, XV, Istituto Nazionale di Alta Matematica, Italy (1975).

    Google Scholar 

  8. M.P.Schützenberger, Pushdown Automata and Context-free Languages, Inform. and Control, 6 (1963).

    Google Scholar 

  9. D.Scott, The Lattice of Flow Diagrams, Lecture Notes in Mathematics 188, Springer-Verlag (1971).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, University of Bucharest, Str. Academiei 14, 70109, Bucharest, Romania

    Virgil Emil CĂzĂnescu

Authors
  1. Virgil Emil CĂzĂnescu
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jozef Gruska Branislav Rovan Juraj Wiedermann

Rights and permissions

Reprints and permissions

Copyright information

© 1986 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

CĂzĂnescu, V.E. (1986). Iterative systems of equations. In: Gruska, J., Rovan, B., Wiedermann, J. (eds) Mathematical Foundations of Computer Science 1986. MFCS 1986. Lecture Notes in Computer Science, vol 233. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0016247

Download citation

  • DOI: https://doi.org/10.1007/BFb0016247

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-16783-9

  • Online ISBN: 978-3-540-39909-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation