Foundations of Logic and Functional Programming: Workshop, Trento, Italy, December 15-19, 1986. Proceedings by Mauro BoscarolFoundations of Logic and Functional Programming: Workshop, Trento, Italy, December 15-19, 1986. Proceedings by Mauro Boscarol

Foundations of Logic and Functional Programming: Workshop, Trento, Italy, December 15-19, 1986…

EditorMauro Boscarol

Paperback | April 27, 1988

Pricing and Purchase Info

$114.32 online 
$128.95 list price save 11%
Earn 572 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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.
Title:Foundations of Logic and Functional Programming: Workshop, Trento, Italy, December 15-19, 1986…Format:PaperbackDimensions:223 pages, 9.25 × 6.1 × 0 inPublished:April 27, 1988Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540191291

ISBN - 13:9783540191292

Look for similar items by category:

Reviews

Table of Contents

Rum 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.- 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.