%A T.G. Lewwis
%T An operator calculus for computer programs
%R CSTR-78-1-5
%I Oregon State University, Department of Computer Science
%D 1978

%A W.S. Bregar
%A A.M. Farley
%T Interactive problem solving in elementary algebra
%R CSTR-78-3-1
%I Oregon State University, Department of Computer Science
%D 1978

%A P. Cull
%A W. Frank
%T Flaws of form
%R CSTR-78-20-3
%I Oregon State University, Department of Computer Science
%D 1978
%X G. Spencer Brown's book ``Laws of Form'' has been enjoying
a vogue among social and biological scientists.
Proponents claim that the book introduces a new logic
ideally suited to their fields of study,
and that the new logic solves the problems of self-reference.
These claims are false. We show that Brown's system
is Boolean algebra in an obscure notation,
and that his "solutions" to the problems of self-reference
are based on a misunderstanding of Russell's paradox.

%A B. Levin
%T The automated inference of tree systems
%R CSTR-79-20-6
%I Oregon State University, Department of Computer Science
%D 1979

%A B. Blanchard
%A W.S. Bregar
%T A production environment
%R CSTR-82-3-1
%I Oregon State University, Department of Computer Science
%D 1982

%A D. Kogan
%A M.J. Freiling
%T SIDUR: a structuring formalism for Knowledge information processing systems
%R CSTR-84-40-2
%I Oregon State University, Department of Computer Science
%D 1984

%A S. Rehfuss
%A M.J. Freiling
%A J. Alexander
%T Particularity in engineering data
%R CSTR-84-40-3
%I Oregon State University, Department of Computer Science
%D 1984
%X discusses inferential data in three engineering expert system databases