Some remarks on relational composition in computational theory and practice

  • A. R. Bednarek
  • S. M. Ulam
Section A Algebraic & Constructive Theory of Machines, Computations and Languages
Part of the Lecture Notes in Computer Science book series (LNCS, volume 56)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [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. [2]
    A. R. Bednarek and S. M. Ulam, Generators for algebras of relations, Bull. Amer. Math. Soc., 82(1976), 781–782.Google Scholar
  3. [3]
    A. R. Bednarek and S. M. Ulam, Projective algebra and the calculus of relations, J. Symb. Logic, to appear.Google Scholar
  4. [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. [5]
    T. Evans, Embeddings for multiplicative systems and projective geometries, Proc. Amer. Math. Soc., 3(1952), 614–620.Google Scholar
  6. [6]
    C. J. Everett and S. M. Ulam, Projective algebra I., Amer. J. Math., 68(1946), 77–88.Google Scholar
  7. [7]
    L. Henkin, D. Monk, and A. Tarski, Cylindric Algebras, Part I, North-Holland, 1971.Google Scholar
  8. [8]
    E. Howorka, Generators for algebras of relations. Preliminary report, Notices Amer. Math. Soc., 24(1977), A–4–A–5.Google Scholar
  9. [9]
    J. C. C. McKinsey, Postulates for the calculus of binary relations, J. Symb. Logic, 5(1940), 85–97.Google Scholar
  10. [10]
    J. C. C. McKinsey, On the representation of projective algebras, Amer. J. Math., 70(1948), 375–384.Google Scholar
  11. [11]
    S. Subbiah, Another proof of a theorem of Evans, Semigroup Forum, 6(1973), 93–94.Google Scholar
  12. [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. [13]
    S. M. Ulam, A Collection of Mathematical Problems, Interscience, New York (1960).Google Scholar
  14. [14]
    Stanislaw Ulam: Sets, Numbers, and Universes, edited by W. A. Beyer, J. Mycielski, and G. C. Rota, MIT Press, 1974.Google Scholar
  15. [15]
    A. Tarski, On the calculus of relations, J. Symb. Logic, 6(1941), 73–89.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1977

Authors and Affiliations

  • A. R. Bednarek
    • 1
  • S. M. Ulam
    • 1
  1. 1.Department of MathematicsUniversity of FloridaGainesvilleU.S.A.

Personalised recommendations