ENGLISH

Algebraic and Logic Programming: International Workshop Gaussig, GDR, November 14–18, 1988 Proceedings

By J. A. Bergstra (auth.) , J. Grabowski , P. Lescanne , W. Wechler (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1988
ISBN
3540506675, 9783540506676
DOI
10.1007/3-540-50667-5
Open Library ID
OL9464984M
Language
english
Format
DJVU
Filesize
3 MB (3226713 bytes)
Series
Lecture Notes in Computer Science 343
Edition
1
Pages
283\275
Topic
Mathematics Algebra
Library
Kolxo3
DPI
300
Time added
2009-12-04 00:34:26
Logics and Meanings of Programs; Mathematical Logi

Description

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.

Similar books