Lecture Notes in Computer Science: Workshop, Trento, Italy, December 15-19, 1986. Proceedings

Boscarol, Mauro; Carlucci Aiello, Luigia; Levi, Giorgio

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.

Details

Published by: Springer

Publication Date: 1988-04-27

Format: Paperback

ISBN-13: 9783540191292

DOI: 10.1007/3-540-19129-1

Dimensions: 235cm x155cm

Pages: 224