Skip to main content

The algebraic approach to the theory of computing systems

  • Computing Systems
  • Conference paper
  • First Online:
Mathematical Foundations of Computer Science (MFCS 1974)

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

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

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. ARBIB, M.A. Theories of Abstract Automata, Englewood Cliffs, N.J., Prentice-Hall, 1969.

    Google Scholar 

  2. ENGELKING, R. Outline of General Topology, North-Holland Publ. Comp., Amsterdam, 1968.

    Google Scholar 

  3. MAC-LANE, S. Categories for the Working Mathematician, Springer-Verlag 1971.

    Google Scholar 

  4. PAWLAK, Z. A Mathematical Model of Digital Computers, in Proc. Conf. on Theory of Autom. and Form. Lang., Bonn, 1973, Springer-Verlag, 16–22.

    Google Scholar 

  5. PAWLAK, Z. On the Notion of a Computer, Logic, Methodology and Philosophy of Science III, Amsterdam, 1967, 255–267.

    Google Scholar 

  6. RASIOWA, H.; SIKORSKI, R. The Mathematics of Methamathematics, P.A.N. Monogr. Matematyczne, P.W.N. Warszawa, 1963.

    Google Scholar 

  7. SPANIER, E.H. Algebraic Topology, Mc Graw-Hill, New York, 1966.

    Google Scholar 

  8. TIURYN, J. Groupoids with given Automorphism Group, Bull. Acad. Polon. Sci. Ser. Sci. Math. Astronom. Phys., to appear.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

A. Blikle

Rights and permissions

Reprints and permissions

Copyright information

© 1975 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Tiuryn, J. (1975). The algebraic approach to the theory of computing systems. In: Blikle, A. (eds) Mathematical Foundations of Computer Science. MFCS 1974. Lecture Notes in Computer Science, vol 28. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07162-8_676

Download citation

  • DOI: https://doi.org/10.1007/3-540-07162-8_676

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-07162-4

  • Online ISBN: 978-3-540-37492-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics