Recursion and iteration in continuous theories: The "M-construction"
- Stephen L. Bloom
- James W. Thatcher
- et al.
- 1983
- Journal of Computer and System Sciences
Publications
This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.
Date
Featured collections
Popular topics
9 results for Stephen L. Bloom
P-varieties - a signature independent characterization of varieties of ordered algebras
- Stephen L. Bloom
- Jesse B. Wright
- 1983
- Journal of Pure and Applied Algebra
A note on the logic of signed equations
- Stephen L. Bloom
- 1982
- Studia Logica
Finitary quasi-varieties
- Stephen L. Bloom
- Jesse B. Wright
- 1982
- Journal of Pure and Applied Algebra
On the algebraic structure of rooted trees
- Calvin C. Elgot
- Stephen L. Bloom
- et al.
- 1978
- Journal of Computer and System Sciences
Scalar and vector iteration
- Stephen L. Bloom
- Susanna Ginali
- et al.
- 1977
- Journal of Computer and System Sciences
Projective and inductive generation of abstract logics
- Stephen L. Bloom
- 1976
- Studia Logica
The existence and construction of free iterative theories
- Stephen L. Bloom
- Calvin C. Elgot
- 1976
- Journal of Computer and System Sciences
Some theorems on structural consequence operations
- Stephen L. Bloom
- 1975
- Studia Logica