ENGLISH

Foundations of Logic and Functional Programming: Workshop Trento, Italy, December 15–19, 1986 Proceedings

By Giorgio Levi (eds.) , Carolyn Talcott (auth.) , Mauro Boscarol , Luigia Carlucci Aiello

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1988
ISBN
9783540191292, 3540191291
DOI
10.1007/3-540-19129-1
Open Library ID
OL12772725M
Language
english
Format
DJVU
Filesize
2 MB (1705603 bytes)
Series
Lecture Notes in Computer Science 306
Edition
1
Pages
224\222
Library
Kolxo3
DPI
300
Time added
2009-12-04 00:34:26
Programming Techniques

Description

This volume consists of some of the papers that were delivered during the workshop on "Foundations of Logic and Functional Programming" held in Trento, Italy, from December 15th to 19th, 1986. The meeting centered on themes and trends in Functional Programming and in Logic Programming. This book contains five papers contributed by the invited speakers and five selected contributions.

Similar books