Relevanzanalyse: Eine Kombination von Striktheits- und Datenflußanalyse zur effizienten Auswertung funktionaler Programme

FRM: Ein Frame-Repräsentationsmodell und seine formale Semantik: Zur Integration von Datenbank- und Wissensrepräsentationsansätzen

Zur Logik der Logik-Programmierung: Ein konstruktiver Ansatz

Spielbaum-Suchverfahren

Termersetzungssysteme: Grundlagen der Prototyp-Generierung algebraischer Spezifikationen

Supercomputer ’89: Anwendungen, Architekturen, Trends Seminar, Mannheim, 8.–10. Juni 1989 Proceedings

Software-Entwicklung: Konzepte, Erfahrungen, Perspektiven Fachtagung, veranstaltet vom Fachausschuß 2.1 der GI Marburg, 21.–23. Juni 1989 Proceedings

Datenbankgestützte Repräsentation und Extraktion von Episodenbeschreibungen aus Bildfolgen

Qualität und Testbarkeit hochintegrierter Schaltungen: Qualitätssicherung durch regelbasierte Systeme

Verteilte Basisalgorithmen

PEARL 89 — Workshop über Realzeitsysteme: 10. Fachtagung des PEARL-Vereins e.V. unter Mitwirkung von GI und GMA Boppard, 7./8. Dezember 1989 Proceedings

Parallele Implementierung funktionaler Programmiersprachen