Herbert Kuchen

• Declarative Programming and Knowledge Management
• Functional and Constraint Logic Programming
• Functional and logic programming
• Programming Languages: Implementations, Logics, and Programs
• Parallele Implementierung einer funktionalen Programmiersprache auf einem OCCAM-Transputer-System unter besonderer Berücksichtigung applikativer Datenstrukturen