Foundations of Logic and Functional Programming 1986: Trento, Italy

Mauro Boscarol, Luigia Carlucci Aiello, Giorgio Levi (Eds.): Foundations of Logic and Functional Programming, Workshop, Trento, Italy, December 15-19, 1986, Proceedings. Lecture Notes in Computer Science 306 Springer 1988, ISBN 3-540-19129-1 BibTeX

@proceedings{DBLP:conf/flfp/1986,
  editor    = {Mauro Boscarol and
               Luigia Carlucci Aiello and
               Giorgio Levi},
  title     = {Foundations of Logic and Functional Programming, Workshop, Trento,
               Italy, December 15-19, 1986, Proceedings},
  booktitle = {Foundations of Logic and Functional Programming},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {306},
  year      = {1988},
  isbn      = {3-540-19129-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Part I: Invited Contributions

Carolyn L. Talcott: Rum. An Intensional Theory of Function and Control Abstractions. 3-44 BibTeX
Luca Cardelli: Typechecking Dependent Types and Subtypes. 45-57 BibTeX
Corrado Böhm: Reducing Recursion to Iteration by Means of Pairs and N-tuples. 58-66 BibTeX
Jean-Louis Lassez, Michael J. Maher, Kim Marriott: Unification Revisited. 67-113 BibTeX
Carlo Zaniolo, Domenico Saccà: Rule Rewriting Methods for Efficient Implementations of Horn Logic. 114-139 BibTeX

Part II: Submitted Contributions

Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi: PAP: A Logic Programming System Based on a Constructive Logic. 143-156 BibTeX
Elio Giovannetti, Corrado Moiso: A Completeness Result for E-unification Algorithms Based on Conditional Narrowing. 157-167 BibTeX
Nicola Guarino: Representing Domain Structure of Many-Sorted Prolog Knowledge Bases. 168-183 BibTeX
Antonio D'Angelo: Horn: an Inference Engine Prototype to Implement Intelligent Systems. 184-200 BibTeX
Eugenio G. Omodeo: Hints for the Design of a Set Calculus Oriented to Automated Deduction. 201-218 BibTeX