Algorithmic Properties of Structures. - Erwin Engeler (Math. Syst. Theory, 1967)

Algorithmic Approximations. - Erwin Engeler (J. Comput. Syst. Sci., 1971)

Structure and meaning of elementary programs. - Erwin Engeler (Symposium on Semantics of Algorithmic Languages, 1971)

The logic of "can do". - Erwin Engeler (International Sympoisum on Theoretical Programming, 1972)

On the structure of algorithmic problems. - Erwin Engeler (Automatentheorie und Formale Sprachen, 1973)

Towards a Galois Theory of Algorithmic Problems. - Erwin Engeler (MFCS, 1973)

A New Type of Models of Computation. - Erwin Engeler (MFCS, 1977)

Generalized Galois Theory and its Application to Complexity. - Erwin Engeler (Theor. Comput. Sci., 1981)

Equation in Combinatory Algebras. - Erwin Engeler (Logic of Programs, 1983)

Scientific Computation: The Integration of Symbolic, Numeric and Graphic Computation. - Erwin Engeler; Roman E. Mäder (European Conference on Computer Algebra (1), 1985)

Logic and Computation (Panel). - Erwin Engeler (IFIP Congress, 1986)

Modelling of Cooperative Processes. - Erwin Engeler (Computation Theory and Logic, 1987)

Goals and design considerations for a mathematical laboratory. - Erwin Engeler (SIGSAM Bull., 1987)

Berechnungstheorie für Informatiker. - Erwin Engeler; Peter Läuchli (Teubner, 1988)

Combinatory Differential Fields. - Erwin Engeler (Theor. Comput. Sci., 1990)

Algorithmic properties of structures - selected papers of Erwin Engeler. - Erwin Engeler (World Scientific, 1993)

Preface: Special Issue of Papers from the Conference on Proof Theory, Provability Logic, and Computation, Berne, Switzerland, 20-24 March 1994. - Sergei N. Artëmov; George Boolos; Erwin Engeler; Solomon Feferman; Gerhard Jäger; Albert Visser (Ann. Pure Appl. Log., 1995)

Neural Algebra and Consciousness: A Theory of Structural Functionality in Neural Nets. - Erwin Engeler (AB, 2008)

Formal Universes. - Erwin Engeler (Logic, Rewriting, and Concurrency, 2015)

A Forgotten Theory of Proofs ? - Erwin Engeler (Log. Methods Comput. Sci., 2019)

Neural algebra on "how does the brain think?". - Erwin Engeler (Theor. Comput. Sci., 2019)