Information and Control

Paper

01 Jan 1967

Automata in general algebras

View publication

Abstract

No abstract available.

Paper

Recursion and iteration in continuous theories: The "M-construction"

Stephen L. Bloom, James W. Thatcher, et al.

Journal of Computer and System Sciences

Paper

Finitary quasi-varieties

Stephen L. Bloom, Jesse B. Wright

Journal of Pure and Applied Algebra

Conference paper

Data type specification: Parameterization and the power of specification techniques

James W. Thatcher, Eric G. Wagner, et al.

STOC 1978

Paper

P-varieties - a signature independent characterization of varieties of ordered algebras

Stephen L. Bloom, Jesse B. Wright

Journal of Pure and Applied Algebra

View all publications