 | 2008 |
|---|
| 15 |       | 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) |
