Erwin Engeler - RankMe

24 papers B 3Journal 8Unranked 8

Year	Rank	Type	Title / Venue / Authors
2019	J	`jnl`	A Forgotten Theory of Proofs ? Log. Methods Comput. Sci. Erwin Engeler
2019	J	`jnl`	Neural algebra on "how does the brain think?". Theor. Comput. Sci. Erwin Engeler
2015	—	`conf`	Formal Universes. Logic, Rewriting, and Concurrency Erwin Engeler
2008	—	`conf`	Neural Algebra and Consciousness: A Theory of Structural Functionality in Neural Nets. AB Erwin Engeler
1996	B	`ed.`	Proceedings of the 1996 International Symposium on Symbolic and Algebraic Computation, ISSAC '96, Zurich, Switzerland, July 24-26, 1996 ISSAC Erwin Engeler, Bob F. Caviness, Yagati N. Lakshman
1995	J	`jnl`	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. Sergei N. Artëmov, George Boolos, Erwin Engeler, Solomon Feferman, Gerhard Jäger, Albert Visser
1993	—	`book`	Algorithmic properties of structures - selected papers of Erwin Engeler. Erwin Engeler
1991	—	`book`	Symposium on Semantics of Algorithmic Languages Symposium on Semantics of Algorithmic Languages Erwin Engeler
1990	J	`jnl`	Combinatory Differential Fields. Theor. Comput. Sci. Erwin Engeler
1988	—	`book`	Berechnungstheorie für Informatiker. Erwin Engeler, Peter Läuchli
1987	J	`jnl`	Goals and design considerations for a mathematical laboratory. SIGSAM Bull. Erwin Engeler
1987	—	`conf`	Modelling of Cooperative Processes. Computation Theory and Logic Erwin Engeler
1986	—	`conf`	Logic and Computation (Panel). IFIP Congress Erwin Engeler
1985	—	`conf`	Scientific Computation: The Integration of Symbolic, Numeric and Graphic Computation. European Conference on Computer Algebra (1) Erwin Engeler, Roman E. Mäder
1983	—	`conf`	Equation in Combinatory Algebras. Logic of Programs Erwin Engeler
1981	J	`jnl`	Generalized Galois Theory and its Application to Complexity. Theor. Comput. Sci. Erwin Engeler
1981	—	`ed.`	Logics of Programs, Workshop, ETH Zürich, May-July 1979 Logics of Programs Erwin Engeler
1977	B	`conf`	A New Type of Models of Computation. MFCS Erwin Engeler
1973	—	`conf`	On the structure of algorithmic problems. Automatentheorie und Formale Sprachen Erwin Engeler
1973	B	`conf`	Towards a Galois Theory of Algorithmic Problems. MFCS Erwin Engeler
1972	—	`conf`	The logic of "can do". International Sympoisum on Theoretical Programming Erwin Engeler
1971	J	`jnl`	Algorithmic Approximations. J. Comput. Syst. Sci. Erwin Engeler
1971	—	`ch.`	Structure and meaning of elementary programs. Symposium on Semantics of Algorithmic Languages Erwin Engeler
1967	J	`jnl`	Algorithmic Properties of Structures. Math. Syst. Theory Erwin Engeler