Erwin Engeler

Publication Activity (10 Years)

Years Active: 1967-2019
Publications (10 Years): 2

Top Topics

Algebraic Expressions

Neuronal Networks

Top Venues

Log. Methods Comput. Sci.

Theor. Comput. Sci.

Logic, Rewriting, and Concurrency

Publications

Erwin Engeler
Neural algebra on "how does the brain think?". Theor. Comput. Sci. 777 (2019)
Erwin Engeler
A Forgotten Theory of Proofs ? Log. Methods Comput. Sci. 15 (3) (2019)
Erwin Engeler
Formal Universes. Logic, Rewriting, and Concurrency (2015)
Erwin Engeler
Neural Algebra and Consciousness: A Theory of Structural Functionality in Neural Nets. AB (2008)
Sergei N. Artëmov, George Boolos, Erwin Engeler, Solomon Feferman, Gerhard Jäger, Albert Visser
Preface: Special Issue of Papers from the Conference on Proof Theory, Provability Logic, and Computation, Berne, Switzerland, 20-24 March 1994. Ann. Pure Appl. Log. 75 (1-2) (1995)
Erwin Engeler
Combinatory Differential Fields. Theor. Comput. Sci. 72 (2&3) (1990)
Erwin Engeler
Goals and design considerations for a mathematical laboratory. SIGSAM Bull. 21 (3) (1987)
Erwin Engeler
Modelling of Cooperative Processes. Computation Theory and Logic (1987)
Erwin Engeler
Logic and Computation (Panel). IFIP Congress (1986)
Erwin Engeler, Roman E. Mäder
Scientific Computation: The Integration of Symbolic, Numeric and Graphic Computation. European Conference on Computer Algebra (1) (1985)
Erwin Engeler
Equation in Combinatory Algebras. Logic of Programs (1983)
Erwin Engeler
Generalized Galois Theory and its Application to Complexity. Theor. Comput. Sci. 13 (1981)
Erwin Engeler
A New Type of Models of Computation. MFCS (1977)
Erwin Engeler
Towards a Galois Theory of Algorithmic Problems. MFCS (1973)
Erwin Engeler
On the structure of algorithmic problems. Automatentheorie und Formale Sprachen (1973)
Erwin Engeler
The logic of "can do". International Sympoisum on Theoretical Programming (1972)
Erwin Engeler
Algorithmic Approximations. J. Comput. Syst. Sci. 5 (1) (1971)
Erwin Engeler
Algorithmic Properties of Structures. Math. Syst. Theory 1 (3) (1967)