Erwin Engeler
Erwin Engeler (born 13 February 1930) is a Swiss mathematician who did pioneering work on the interrelations between logic, computer science and scientific computation in the 20th century. He was one of Paul Bernays' students at the ETH Zürich.After completing his doctorate in 1958, Engeler spent fourteen years in the United States, teaching at the University of Minnesota and at the University of California, Berkeley. In 1959 he contributed an independent proof of several equivalent conditions to omega-categoricity, an important concept in model theory. He returned to Switzerland in 1972, where he served as a professor of logic and computer science at the ETH until his retirement in 1997.
Engeler was named a Fellow of the Association for Computing Machinery in 1995. Provided by Wikipedia
Showing 1 - 8 results of 8 for search 'Engeler, Erwin', query time: 0.03s
Refine Results
-
1
Introduction to the theory of computation. by Engeler, Erwin
New York : Academic Press, 1973Call Number: Loading…
Located: Loading…Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
2
Algorithmic properties of structures : selected papers of Erwin Engeler. by Engeler, Erwin
Singapore ; River Edge, N.J. : World Scientific, 1993Call Number: Loading…
Located: Loading…Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
3
Formal languages; automata and structures. by Engeler, Erwin
Chicago, Markham Pub. Co. 1968Call Number: Loading…
Located: Loading…Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
4
Foundations of mathematics : questions of analysis, geometry & algorithmics by Engeler, Erwin
Berlin ; New York : Springer-Verlag, 1993Call Number: Loading…
Located: Loading…Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
5
Formal languages ; automata and structures. by Engeler, Erwin
Chicago : Markham Pub. Co., 1968Call Number: Loading…
Located: Loading…Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
6
Logic of programs : workshop, ETH Zürich, May-July 1979
Berlin : New York : Springer-Verlag, 1981Other Authors: “…Engeler, Erwin…”
Call Number: Loading…
Located: Loading…Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
7
The combinatory programme
Boston : Birkhäuser, 1995Other Authors: “…Engeler, Erwin…”
Call Number: Loading…
Located: Loading…Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?> -
8
Symposium on semantics of algorithmic languages
Berlin : New York. Springer-Verlag, 1971Other Authors: “…Engeler, Erwin…”
Call Number: Loading…
Located: Loading…Format: Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?>
Search Tools:
Related Subjects
Formal languages
Algorithms
Machine theory
Algorithmes
Automates mathématiques, Théorie des
Combinatory logic
Computer algorithms
Computer programming
Data structures (Computer science)
Formale Sprache
Formele talen
Galois theory
Langages formels
Logic, Symbolic and mathematical
Metamathematics
Programming languages (Electronic computers)
Recursive functions
Semantics
Sequential machine theory