Erwin Engeler
According to our database^{1},
Erwin Engeler
authored at least 21 papers
between 1967 and 2019.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 1995, "Erwin Engeler is honored for his pioneering work on the interrelations between logic, computer science and scientific computation.".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on zbmath.org

on id.loc.gov

on dnb.info

on dl.acm.org
On csauthors.net:
Bibliography
2019
Theor. Comput. Sci., 2019
Log. Methods Comput. Sci., 2019
2015
Proceedings of the Logic, Rewriting, and Concurrency, 2015
2008
Neural Algebra and Consciousness: A Theory of Structural Functionality in Neural Nets.
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, 2024 March 1994.
Ann. Pure Appl. Log., 1995
1993
World Scientific, ISBN: 9789810208721, 1993
1990
Theor. Comput. Sci., 1990
1988
Berechnungstheorie für Informatiker.
Leitfäden und Monographien der Informatik, Teubner, ISBN: 9783519022589, 1988
1987
SIGSAM Bull., 1987
Proceedings of the Computation Theory and Logic, In Memory of Dieter Rödding, 1987
1986
Logic and Computation (Panel).
Proceedings of the Information Processing 86, 1986
1985
Scientific Computation: The Integration of Symbolic, Numeric and Graphic Computation.
Proceedings of the EUROCAL '85, 1985
1983
Proceedings of the Logics of Programs, 1983
1981
Theor. Comput. Sci., 1981
1977
Proceedings of the Mathematical Foundations of Computer Science 1977, 1977
1973
Towards a Galois Theory of Algorithmic Problems.
Proceedings of the Mathematical Foundations of Computer Science: Proceedings of Symposium and Summer School, 1973
Proceedings of the 1. Fachtagung über Automatentheorie und Formale Sprachen, 1973
1972
Proceedings of the International Sympoisum on Theoretical Programming, 1972
1971
Proceedings of the Symposium on Semantics of Algorithmic Languages, 1971
J. Comput. Syst. Sci., 1971
1967
Math. Syst. Theory, 1967