Erwin Engeler

	2008
20		Erwin Engeler: Neural Algebra and Consciousness: A Theory of Structural Functionality in Neural Nets. AB 2008: 96-109
	1996
19		Erwin Engeler, B. F. Caviness, Yagati N. Lakshman: Proceedings of the 1996 International Symposium on Symbolic and Algebraic Computation, ISSAC '96, Zurich, Switzerland, July 24-26, 1996 ACM 1996
	1995
18		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)
	1993
17		Erwin Engeler: Algorithmic properties of structures - selected papers of Erwin Engeler. World Scientific 1993: I-VIII, 1-257
	1991
16		Erwin Engeler: Symposium on Semantics of Algorithmic Languages Springer 1991
	1990
15		Erwin Engeler: Combinatory Differential Fields. Theor. Comput. Sci. 72(2&3): 119-131 (1990)
	1988
14		Erwin Engeler, Peter Läuchli: Berechnungstheorie für Informatiker. Teubner 1988: 1-120
	1987
13		Erwin Engeler: Modelling of Cooperative Processes. Computation Theory and Logic 1987: 143-153
	1986
12		Erwin Engeler: Logic and Computation (Panel). IFIP Congress 1986: 393-394
	1985
11		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
10		Erwin Engeler: Equation in Combinatory Algebras. Logic of Programs 1983: 193-205
	1981
9		Erwin Engeler: Logics of Programs, Workshop, ETH Zürich, May-July 1979 Springer 1981
8		Erwin Engeler: Generalized Galois Theory and its Application to Complexity. Theor. Comput. Sci. 13: 271-293 (1981)
	1977
7		Erwin Engeler: A New Type of Models of Computation. MFCS 1977: 52-58
	1973
6		Erwin Engeler: On the structure of algorithmic problems. Automatentheorie und Formale Sprachen 1973: 2-15
5		Erwin Engeler: Towards a Galois Theory of Algorithmic Problems. MFCS 1973: 51-55
	1972
4		Erwin Engeler: The logic of "can do". International Sympoisum on Theoretical Programming 1972: 17-28
	1971
3		Erwin Engeler: Structure and meaning of elementary programs. Symposium on Semantics of Algorithmic Languages 1971: 89-101
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)

Coauthor Index

1	Sergei N. Artëmov	[18]
2	George Boolos	[18]
3	B. F. Caviness	[19]
4	Solomon Feferman	[18]
5	Gerhard Jäger	[18]
6	Yagati N. Lakshman	[19]
7	Peter Läuchli	[14]
8	R. Mäder	[11]
9	Albert Visser	[18]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page