+612 9045 4394
 
CHECKOUT
Foundations of Logic and Functional Programming : Workshop, Trento, Italy, December 15-19, 1986. Proceedings - Mauro Boscarol

Foundations of Logic and Functional Programming

Workshop, Trento, Italy, December 15-19, 1986. Proceedings

By: Mauro Boscarol (Editor), Luigia Carlucci Aiello (Editor), Giorgio Levi (Editor)

Paperback

Published: 27th April 1988
Ships: 5 to 9 business days
5 to 9 business days
$125.05
or 4 easy payments of $31.26 with Learn more

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.

An Intensional Theory of Function and Control Abstractions
Typechecking Dependent Types and Subtypes
Reducing Recursion to Iteration by Means of Pairs and N-tuples
Unification Revisited
Rule Rewriting Methods for Efficient Implementations of Horn logic
Submitted Contributions
PAP: A logic Programming System Based on a Constructive Logic
A Completeness Result for E-unification Algorithms Based on Conditional Narrowing
Representing Domain Structure of Many-sorted Prolog Knowledge Bases
Horn: An Inference Engine Prototype to Implement Intelligent Systems
Hints for the Design of a Set Calculus Oriented to Automated Deduction
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9783540191292
ISBN-10: 3540191291
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 224
Published: 27th April 1988
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 1.25
Weight (kg): 0.33