Klaus Estenfeld

Publication Activity (10 Years)

Years Active: 1977-1991
Publications (10 Years): 0

Publications

Klaus Estenfeld, Hans-Albert Schneider, Dirk Taubner, Erik Tidén
Computer Aided Verification of Parallel Processes. VIS (1991)
Wolfram Büttner, Klaus Estenfeld, Hans Haugeneder, Peter Struss
Directions in AI Research and Applications at Siemens Corporate Research and Development. AI Mag. 11 (1) (1990)
Wolfram Büttner, Klaus Estenfeld, Richard Schmid, Hans-Albert Schneider, Erik Tidén
Symbolic Constraint Handling Through Unification in Finite Algebras. Appl. Algebra Eng. Commun. Comput. 1 (1990)
Klaus Estenfeld
Bericht zur LP '88 - Fifth International Conference on Logic Programming. Künstliche Intell. 3 (1) (1989)
Alexander Bockmayr, Klaus Estenfeld, Ulrich Furbach, Claus Jäkel
Ein Konstanzer Prolog-Workshop. Künstliche Intell. 3 (4) (1989)
Klaus Estenfeld
6th International Conference on Logic Programming. Künstliche Intell. 3 (4) (1989)
Klaus Estenfeld
Prolog-Implementierung: Konzepte und Realisierungen. Inform. Spektrum 10 (2) (1987)
Klaus Estenfeld
Literatur zum Thema "Programmiersprachen". it Inf. Technol. 29 (4) (1987)
Klaus Estenfeld
A New Characterization Theorem of Tree-Transductions. J. Inf. Process. Cybern. 18 (4/5) (1982)
Klaus Estenfeld
Strukturelle Untersuchungen zur schwersten kontextfreien Sprache. Theoretical Computer Science (1977)