Research supported by NSF Grant No. MSC. 75-21130
Preview
Unable to display preview. Download preview PDF.
References
A. R. Bednarek and K. D. Magill, Jr., Q-composable properties, semigroups and CM-homomorphisms, Trans. Amer. Math. Soc., 174(1972), 383–398.
A. R. Bednarek and S. M. Ulam, Generators for algebras of relations, Bull. Amer. Math. Soc., 82(1976), 781–782.
A. R. Bednarek and S. M. Ulam, Projective algebra and the calculus of relations, J. Symb. Logic, to appear.
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.
T. Evans, Embeddings for multiplicative systems and projective geometries, Proc. Amer. Math. Soc., 3(1952), 614–620.
C. J. Everett and S. M. Ulam, Projective algebra I., Amer. J. Math., 68(1946), 77–88.
L. Henkin, D. Monk, and A. Tarski, Cylindric Algebras, Part I, North-Holland, 1971.
E. Howorka, Generators for algebras of relations. Preliminary report, Notices Amer. Math. Soc., 24(1977), A–4–A–5.
J. C. C. McKinsey, Postulates for the calculus of binary relations, J. Symb. Logic, 5(1940), 85–97.
J. C. C. McKinsey, On the representation of projective algebras, Amer. J. Math., 70(1948), 375–384.
S. Subbiah, Another proof of a theorem of Evans, Semigroup Forum, 6(1973), 93–94.
S. M. Ulam, On some possibilities in the organization and use of computing machines, International Business Machines (1957). (IBM-RC-68).
S. M. Ulam, A Collection of Mathematical Problems, Interscience, New York (1960).
Stanislaw Ulam: Sets, Numbers, and Universes, edited by W. A. Beyer, J. Mycielski, and G. C. Rota, MIT Press, 1974.
A. Tarski, On the calculus of relations, J. Symb. Logic, 6(1941), 73–89.
Author information
Authors and Affiliations
Editor information
Rights 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