Erwin Engeler

According to our database, Erwin Engeler authored at least 21 papers between 1967 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Neural algebra on "how does the brain think?".

Erwin Engeler

Theor. Comput. Sci., 2019

A Forgotten Theory of Proofs ?

Erwin Engeler

Log. Methods Comput. Sci., 2019

2015

Formal Universes.

Erwin Engeler

Proceedings of the Logic, Rewriting, and Concurrency, 2015

2008

Neural Algebra and Consciousness: A Theory of Structural Functionality in Neural Nets.

Erwin Engeler

Proceedings of the Algebraic Biology, Third International Conference, 2008

1995

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

1993

Algorithmic properties of structures - selected papers of Erwin Engeler.

Erwin Engeler

World Scientific, ISBN: 978-981-02-0872-1, 1993

1990

Combinatory Differential Fields.

Erwin Engeler

Theor. Comput. Sci., 1990

1988

Berechnungstheorie für Informatiker.

Erwin Engeler, Peter Läuchli

Leitfäden und Monographien der Informatik, Teubner, ISBN: 978-3-519-02258-9, 1988

1987

Goals and design considerations for a mathematical laboratory.

Erwin Engeler

SIGSAM Bull., 1987

Modelling of Cooperative Processes.

Erwin Engeler

Proceedings of the Computation Theory and Logic, In Memory of Dieter Rödding, 1987

1986

Logic and Computation (Panel).

Erwin Engeler

Proceedings of the Information Processing 86, 1986

1985

Scientific Computation: The Integration of Symbolic, Numeric and Graphic Computation.

Erwin Engeler, Roman E. Mäder

Proceedings of the EUROCAL '85, 1985

1983

Equation in Combinatory Algebras.

Erwin Engeler

Proceedings of the Logics of Programs, 1983

1981

Generalized Galois Theory and its Application to Complexity.

Erwin Engeler

Theor. Comput. Sci., 1981

1977

A New Type of Models of Computation.

Erwin Engeler

Proceedings of the Mathematical Foundations of Computer Science 1977, 1977

1973

Towards a Galois Theory of Algorithmic Problems.

Erwin Engeler

Proceedings of the Mathematical Foundations of Computer Science: Proceedings of Symposium and Summer School, 1973

On the structure of algorithmic problems.

Erwin Engeler

Proceedings of the 1. Fachtagung über Automatentheorie und Formale Sprachen, 1973

1972

The logic of "can do".

Erwin Engeler

Proceedings of the International Sympoisum on Theoretical Programming, 1972

1971

Structure and meaning of elementary programs.

Erwin Engeler

Proceedings of the Symposium on Semantics of Algorithmic Languages, 1971

Algorithmic Approximations.

Erwin Engeler

J. Comput. Syst. Sci., 1971

1967

Algorithmic Properties of Structures.

Erwin Engeler

Math. Syst. Theory, 1967