Skip to main content
SpringerLink
Log in
Book cover

International Symposium on Mathematical Foundations of Computer Science

MFCS 1980: Mathematical Foundations of Computer Science 1980 pp 504–514Cite as

Initially — Restricting algebraic theories

  • Communications
  • Conference paper
  • First Online:

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

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. Goguen,J.A., Thatcher,J.W., Wagner,E.G., Wright,J.B.: Abstract Data Types as Initial Algebras and the Correctness of Data Representations, in Proc. Confr. on Computer Graphics, Pattern Recognition, and Data Structure (Beverly Hills, CA.) 1975, pp. 89–93

    Google Scholar 

  2. Benecke,K.: Signaturketten und Operations-und Mengenformen über Signaturketten, Dissertation A, TH ‘Otto von Guericke’ Magdeburg, 1979

    Google Scholar 

  3. Burstall,R.M., Goguen,J.A.: Putting theories together to make specifications, Proc. Fifth Int. Joint Comp. On Artificial Intelligence, MIT (Cambridge,Mass)

    Google Scholar 

  4. Ehrich,H.-D.: On the Theory of Specification, Implementation and Parameterization of Abstract Data Types, Forschungsbericht Dortmund, 1978

    Google Scholar 

  5. Ehrig,H., Kreowski,H.-J., Padawitz,P.: Stepwise Specification and Implementation of Abstract Data Types, Proc. 5. Int. Colloq. on Automata, Languages and Programming, Udine, 1978

    Google Scholar 

  6. Ford, L.R., Fulkerson, D.R.: Maximal flow through a network, Canadian J. of Math., 8 (1956), pp. 399

    Google Scholar 

  7. Goguen,J.A., Tardo,J.: OBJ-O Preliminary Users Manual, UCLA, Semantics and Theory of Computation Report, No. 10, 1977

    Google Scholar 

  8. Goguen, J.A., Tardo, J.: An Introduction to OBJ: A Language for Writing and Testing Formal Algebraic Program Specifications, UCLA, Los Angeles, 1979

    Google Scholar 

  9. Hupbach, U., Kaphengst, H., Reichel, H.: Initiale algebraische Spezifikation von Datentypen, parameterisierten Datentypen und Algorithmen, VEB Robotron, Zentrum für Forschung und Technik, Dresden, WIB, 1980

    Google Scholar 

  10. Hupbach,U.: A Uniform Mathematical Framwork for Initial Algebraic Specifications, VEB Robotron, Zentrum für Forschung und Technik, Dresden, Preprint, 1979

    Google Scholar 

  11. Kaphengst,H., Reichel,H.: Algebraische Algorithmentheorie, VEB Robotron, Zentrum für Forschung und Technik,Dresden, WIB Nr.1, 1971

    Google Scholar 

  12. Kaphengst, H., Reichel, H.: Operative Theorien und Kategorien von operativen Systemen, in Studien zur Algebra und ihren Anwendungen, Akademie Verlag, Berlin, 1972

    Google Scholar 

  13. Lawvere, F.W.: Functorial semantics of algebraic theories, Proc. Nat. Acad. Sci. U.S.A.,50,1963, pp. 869–872

    Google Scholar 

  14. Musser, D.R.: Abstract Data Types in the AFFIRM System, Proc. IEEE Conf. on Specification of Reliable Software, Cambridge, Mass., April 1979

    Google Scholar 

  15. Reichel, H.: Theorie der Äquoide, Dissertation B, Humboldt Universität, Berlin, 1979

    Google Scholar 

  16. Thatcher, J.W., Wagner,E.G., Wright, J.B.: Data Type Specification: Parameterization and the Power of Specification Techniques, Proc. SIGACT 10th Symp. on Theory of Computing, San Diego, May 1978

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. TH “Otto von Guericke” Sektion Mathematik/Physik, Boleslaw Bierut Platz 5, DDR-301, Magdeburg

    H. Reichel

Authors
  1. H. Reichel
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

P. Dembiński

Rights and permissions

Reprints and permissions

Copyright information

© 1980 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Reichel, H. (1980). Initially — Restricting algebraic theories. In: Dembiński, P. (eds) Mathematical Foundations of Computer Science 1980. MFCS 1980. Lecture Notes in Computer Science, vol 88. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0022528

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-10027-0

  • Online ISBN: 978-3-540-38194-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation