Algebraic and Logic Programming: 4th International Confernence, Alp '94, Madrid, Spain, September 14-16, 1994 Proceedings (Lecture Notes in Computer Science) - Softcover

Inhaltsangabe

Dieser Band stellt die Verfahren der vierten internationalen Konferenz über algebraische und logische Programmierung (ALP '94) dar, die im September 1994 in Madrid, Spanien gehalten wurde.
Wie die Vorgängerkonferenzen dieser Reihe gelang es der ALP '94, die Querbefruchtung zwischen algebraischen Techniken und logischer Programmierung zu stärken. Neben Abstrakten von drei eingeladenen Vorträgen enthält der Band 17 vollständig überarbeitete Papiere, die aus 41 Einreichungen ausgewählt wurden; die Papiere sind in Abschnitte über Theorem-Beweis, Verengung, Logikprogrammierung, Begriffsumschreiben und Programmierung höherer Ordnung organisiert.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.