Search the dblp DataBase
Erwin Engeler :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Erwin Engeler On the structure of algorithmic problems. [Citation Graph (0, 0)][DBLP ] Automatentheorie und Formale Sprachen, 1973, pp:2-15 [Conf ] Erwin Engeler Modelling of Cooperative Processes. [Citation Graph (0, 0)][DBLP ] Computation Theory and Logic, 1987, pp:143-153 [Conf ] Erwin Engeler The logic of "can do". [Citation Graph (0, 0)][DBLP ] International Sympoisum on Theoretical Programming, 1972, pp:17-28 [Conf ] Erwin Engeler , R. Mäder Scientific Computation: The Integration of Symbolic, Numeric and Graphic Computation. [Citation Graph (0, 0)][DBLP ] European Conference on Computer Algebra (1), 1985, pp:185-200 [Conf ] Erwin Engeler Logic and Computation (Panel). [Citation Graph (0, 0)][DBLP ] IFIP Congress, 1986, pp:393-394 [Conf ] Erwin Engeler Equation in Combinatory Algebras. [Citation Graph (0, 0)][DBLP ] Logic of Programs, 1983, pp:193-205 [Conf ] Erwin Engeler Towards a Galois Theory of Algorithmic Problems. [Citation Graph (0, 0)][DBLP ] MFCS, 1973, pp:51-55 [Conf ] Erwin Engeler A New Type of Models of Computation. [Citation Graph (0, 0)][DBLP ] MFCS, 1977, pp:52-58 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 1995, v:75, n:1-2, pp:1- [Journal ] Erwin Engeler Algorithmic Approximations. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1971, v:5, n:1, pp:67-82 [Journal ] Erwin Engeler Algorithmic Properties of Structures. [Citation Graph (0, 0)][DBLP ] Mathematical Systems Theory, 1967, v:1, n:3, pp:183-195 [Journal ] Erwin Engeler Generalized Galois Theory and its Application to Complexity. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1981, v:13, n:, pp:271-293 [Journal ] Erwin Engeler Combinatory Differential Fields. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1990, v:72, n:2&3, pp:119-131 [Journal ] Neural Algebra and Consciousness: A Theory of Structural Functionality in Neural Nets. [Citation Graph (, )][DBLP ] Search in 0.012secs, Finished in 0.013secs