Skip to main content
SpringerLink
Log in
Book cover

International Conference on Fundamentals of Computation Theory

FCT 1977: Fundamentals of Computation Theory pp 33–38Cite as

An axiomatization of the rational data objects

  • Section A Algebraic & Constructive Theory of Machines, Computations and Languages
  • Conference paper
  • First Online:

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

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. J.V. Guttag 1975, "The specification and Application to Programming of Abstract Data Types", Technical Report CSRG-59, Dept. of Electrical Engineering and Dept. of Computer Science, University of Toronto.

    Google Scholar 

  2. H.D. Ehrich 1976, "Outline of an algebraic theory of structured objects", Automata, Languages and Programming, Third International Colloquium, Edinburgh University Press, p. 508–530.

    Google Scholar 

  3. G.A. Terpstra, Th.P. van der Weide, H.J.M. Goeman, A. Ollongren, J.A. Bergstra 1976, "Uniform axioms for structured objects", Report No. 76-7, Institute of Applied Mathematics and Computer Science, University of Leiden.

    Google Scholar 

  4. J.A. Bergstra, A. Ollongren, Th.P. van der Weide, "An axiomatization of the rational data objects", Report No. 77-2, Institute of Applied Mathematics and Computer Science, University of Leiden.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Applied Mathematics and Computer Science, University of Leiden, The Netherlands

    J. A. Bergstra, A. Ollongren & Th. P. van der Weide

Authors
  1. J. A. Bergstra
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. A. Ollongren
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Th. P. van der Weide
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Marek Karpiński

Rights and permissions

Reprints and permissions

Copyright information

© 1977 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bergstra, J.A., Ollongren, A., van der Weide, T.P. (1977). An axiomatization of the rational data objects. In: Karpiński, M. (eds) Fundamentals of Computation Theory. FCT 1977. Lecture Notes in Computer Science, vol 56. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-08442-8_67

Download citation

  • DOI: https://doi.org/10.1007/3-540-08442-8_67

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-08442-6

  • Online ISBN: 978-3-540-37084-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation