Klaus Estenfeld

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1991
Computer Aided Verification of Parallel Processes.
Proceedings of the VIS'91, 1991

1990
Directions in AI Research and Applications at Siemens Corporate Research and Development.
AI Mag., 1990

Symbolic Constraint Handling Through Unification in Finite Algebras.
Appl. Algebra Eng. Commun. Comput., 1990

1989
Bericht zur LP '88 - Fifth International Conference on Logic Programming.
Künstliche Intell., 1989

6th International Conference on Logic Programming.
Künstliche Intell., 1989

Ein Konstanzer Prolog-Workshop.
Künstliche Intell., 1989

1987
Literatur zum Thema "Programmiersprachen".
it Inf. Technol., 1987

Prolog-Implementierung: Konzepte und Realisierungen.
Inform. Spektrum, 1987

1982
A New Characterization Theorem of Tree-Transductions.
J. Inf. Process. Cybern., 1982

1980
Ueber den Zusammenhang von Pushdowntransduktionen von Baeumen und Funktorpaaren.
PhD thesis, 1980

1977
Strukturelle Untersuchungen zur schwersten kontextfreien Sprache.
Proceedings of the Theoretical Computer Science, 1977


  Loading...