Skip to main content
SpringerLink
Log in

Some remarks on relational composition in computational theory and practice

  • Section A Algebraic & Constructive Theory of Machines, Computations and Languages
  • Conference paper
  • First Online:
Fundamentals of Computation Theory (FCT 1977)

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

Included in the following conference series:

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. A. R. Bednarek and K. D. Magill, Jr., Q-composable properties, semigroups and CM-homomorphisms, Trans. Amer. Math. Soc., 174(1972), 383–398.

    Google Scholar 

  2. A. R. Bednarek and S. M. Ulam, Generators for algebras of relations, Bull. Amer. Math. Soc., 82(1976), 781–782.

    Google Scholar 

  3. A. R. Bednarek and S. M. Ulam, Projective algebra and the calculus of relations, J. Symb. Logic, to appear.

    Google Scholar 

  4. A. R. Bednarek and S. M. Ulam, On the theory of relational structures and schemata for parallel computation, Los Alamos Scientific Laboratory Report, to appear.

    Google Scholar 

  5. T. Evans, Embeddings for multiplicative systems and projective geometries, Proc. Amer. Math. Soc., 3(1952), 614–620.

    Google Scholar 

  6. C. J. Everett and S. M. Ulam, Projective algebra I., Amer. J. Math., 68(1946), 77–88.

    Google Scholar 

  7. L. Henkin, D. Monk, and A. Tarski, Cylindric Algebras, Part I, North-Holland, 1971.

    Google Scholar 

  8. E. Howorka, Generators for algebras of relations. Preliminary report, Notices Amer. Math. Soc., 24(1977), A–4–A–5.

    Google Scholar 

  9. J. C. C. McKinsey, Postulates for the calculus of binary relations, J. Symb. Logic, 5(1940), 85–97.

    Google Scholar 

  10. J. C. C. McKinsey, On the representation of projective algebras, Amer. J. Math., 70(1948), 375–384.

    Google Scholar 

  11. S. Subbiah, Another proof of a theorem of Evans, Semigroup Forum, 6(1973), 93–94.

    Google Scholar 

  12. S. M. Ulam, On some possibilities in the organization and use of computing machines, International Business Machines (1957). (IBM-RC-68).

    Google Scholar 

  13. S. M. Ulam, A Collection of Mathematical Problems, Interscience, New York (1960).

    Google Scholar 

  14. Stanislaw Ulam: Sets, Numbers, and Universes, edited by W. A. Beyer, J. Mycielski, and G. C. Rota, MIT Press, 1974.

    Google Scholar 

  15. A. Tarski, On the calculus of relations, J. Symb. Logic, 6(1941), 73–89.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, University of Florida, 32601, Gainesville, Florida, U.S.A.

    A. R. Bednarek & S. M. Ulam

Authors
  1. A. R. Bednarek
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. S. M. Ulam
    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

Bednarek, A.R., Ulam, S.M. (1977). Some remarks on relational composition in computational theory and practice. 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_66

Download citation

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

  • 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