2008 |
15 | EE | Erwin Engeler:
Neural Algebra and Consciousness: A Theory of Structural Functionality in Neural Nets.
AB 2008: 96-109 |
1995 |
14 | | 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. Logic 75(1-2): 1 (1995) |
1990 |
13 | | Erwin Engeler:
Combinatory Differential Fields.
Theor. Comput. Sci. 72(2&3): 119-131 (1990) |
1987 |
12 | | Erwin Engeler:
Modelling of Cooperative Processes.
Computation Theory and Logic 1987: 143-153 |
1986 |
11 | | Erwin Engeler:
Logic and Computation (Panel).
IFIP Congress 1986: 393-394 |
1985 |
10 | | Erwin Engeler,
R. Mäder:
Scientific Computation: The Integration of Symbolic, Numeric and Graphic Computation.
European Conference on Computer Algebra (1) 1985: 185-200 |
1983 |
9 | | Erwin Engeler:
Equation in Combinatory Algebras.
Logic of Programs 1983: 193-205 |
1981 |
8 | | Erwin Engeler:
Logics of Programs, Workshop, ETH Zürich, May-July 1979
Springer 1981 |
7 | | Erwin Engeler:
Generalized Galois Theory and its Application to Complexity.
Theor. Comput. Sci. 13: 271-293 (1981) |
1977 |
6 | | Erwin Engeler:
A New Type of Models of Computation.
MFCS 1977: 52-58 |
1973 |
5 | | Erwin Engeler:
On the structure of algorithmic problems.
Automatentheorie und Formale Sprachen 1973: 2-15 |
4 | | Erwin Engeler:
Towards a Galois Theory of Algorithmic Problems.
MFCS 1973: 51-55 |
1972 |
3 | | Erwin Engeler:
The logic of "can do".
International Sympoisum on Theoretical Programming 1972: 17-28 |
1971 |
2 | | Erwin Engeler:
Algorithmic Approximations.
J. Comput. Syst. Sci. 5(1): 67-82 (1971) |
1967 |
1 | | Erwin Engeler:
Algorithmic Properties of Structures.
Mathematical Systems Theory 1(3): 183-195 (1967) |