Skip to main content
SpringerLink
Log in

Foundations of Logic and Functional Programming

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

  • Conference proceedings
  • © 1988

Overview

Editors:
  1. Mauro Boscarol
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Luigia Carlucci Aiello
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Giorgio Levi
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 306)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (10 papers)

  1. Front Matter

    Download chapter PDF

  2. Rum an intensional theory of function and control abstractions

    • Carolyn Talcott
    Pages 1-44

  3. Typechecking dependent types and subtypes

    • Luca Cardelli
    Pages 45-57

  4. Reducing recursion to iteration by means of pairs and N-tuples

    • Corrado Böhm
    Pages 58-66

  5. Unification revisited

    • J -L. Lassez, M. J. Maher, K. Marriott
    Pages 67-113

  6. Rule rewriting methods for efficient implementations of horn logic

    • Carlo Zaniolo, Domenico Saccà
    Pages 114-139

  7. PAP: a logic programming system based on a constructive logic

    • P. Miglioli, U. Moscato, M. Ornaghi
    Pages 141-156

  8. A completeness result for E-unification algorithms based on conditional narrowing

    • E. Giovannetti, C. Moiso
    Pages 157-167

  9. Representing domain structure of many-sorted Prolog knowledge bases

    • Nicola Guarino
    Pages 168-183

  10. Horn: An inference engine prototype to implement intelligent systems

    • Antonio D'Angelo
    Pages 184-200

  11. Hints for the design of a set calculus oriented to Automated Deduction

    • E. G. Omodeo
    Pages 201-218
Back to top

Keywords

About this book

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.

Bibliographic Information

  • Book Title: Foundations of Logic and Functional Programming

  • Book Subtitle: Workshop, Trento, Italy, December 15-19, 1986. Proceedings

  • Editors: Mauro Boscarol, Luigia Carlucci Aiello, Giorgio Levi

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-19129-1

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1988

  • Softcover ISBN: 978-3-540-19129-2Published: 27 April 1988

  • eBook ISBN: 978-3-540-39126-5Published: 13 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VIII, 224

  • Topics: Programming Techniques

Publish with us

Policies and ethics

Back to top

Search

Navigation