Klaus Estenfeld

According to our database, Klaus Estenfeld authored at least 11 papers between 1977 and 1991.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1991

Computer Aided Verification of Parallel Processes.

Klaus Estenfeld, Hans-Albert Schneider, Dirk Taubner, Erik Tidén

Proceedings of the VIS'91, 1991

1990

Directions in AI Research and Applications at Siemens Corporate Research and Development.

Wolfram Büttner, Klaus Estenfeld, Hans Haugeneder, Peter Struss

AI Mag., 1990

Symbolic Constraint Handling Through Unification in Finite Algebras.

Wolfram Büttner, Klaus Estenfeld, Richard Schmid, Hans-Albert Schneider, Erik Tidén

Appl. Algebra Eng. Commun. Comput., 1990

1989

Bericht zur LP '88 - Fifth International Conference on Logic Programming.

Klaus Estenfeld

Künstliche Intell., 1989

6th International Conference on Logic Programming.

Klaus Estenfeld

Künstliche Intell., 1989

Ein Konstanzer Prolog-Workshop.

Alexander Bockmayr, Klaus Estenfeld, Ulrich Furbach, Claus Jäkel

Künstliche Intell., 1989

1987

Literatur zum Thema "Programmiersprachen".

Klaus Estenfeld

it Inf. Technol., 1987

Prolog-Implementierung: Konzepte und Realisierungen.

Klaus Estenfeld

Inform. Spektrum, 1987

1982

A New Characterization Theorem of Tree-Transductions.

Klaus Estenfeld

J. Inf. Process. Cybern., 1982

1980

Ueber den Zusammenhang von Pushdowntransduktionen von Baeumen und Funktorpaaren.

Klaus Estenfeld

PhD thesis, 1980

1977

Strukturelle Untersuchungen zur schwersten kontextfreien Sprache.

Klaus Estenfeld

Proceedings of the Theoretical Computer Science, 1977