Information and Control

Paper

01 Jan 1967

Automata in general algebras

View publication

Abstract

No abstract available.

Conference paper

Data type specification: Parameterization and the power of specification techniques

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

STOC 1978

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

More on advice on structuring compilers and proving them correct

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

Theoretical Computer Science

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