Publications

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
Recursion and iteration in continuous theories: The "M-construction"
- - Stephen L. Bloom
  - James W. Thatcher
  - et al.
- 1983
- Journal of Computer and System Sciences
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