Cover Image
Read Now

Algebraic and Logic Programming International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings

This volume contains the proceedings of the First International Workshop on Algebraic and Logic Programming held in Gaussig (German Democratic Republic) from November 14 to 18, 1988. The workshop was devoted to Algebraic Programming, in the sense of programming by algebraic specifications and rewrit...

Full description

Bibliographic Details
Other Authors: Grabowski, Jan (Editor), Lescanne, Pierre (Editor), Wechler, Wolfgang (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 1988, 1988
Edition:1st ed. 1988
Series:Lecture Notes in Computer Science
Subjects:
Computer Science Logic And Foundations Of Programming
Operating Systems
Programming Techniques
Computer Science
Computer Programming
Operating Systems (computers)
Artificial Intelligence
Formal Languages And Automata Theory
Machine Theory
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Description
Summary:This volume contains the proceedings of the First International Workshop on Algebraic and Logic Programming held in Gaussig (German Democratic Republic) from November 14 to 18, 1988. The workshop was devoted to Algebraic Programming, in the sense of programming by algebraic specifications and rewrite rule systems, and Logic Programming, in the sense of Horn clause specifications and resolution systems. This includes combined algebraic/logic programming systems, mutual relations and mutual implementation of programming paradigms, completeness and efficiency considerations in both fields, as well as related topics
Physical Description:IX, 269 p online resource
ISBN:9783540460633

Similar Items