Foundations of Logic and Functional Programming, Workshop, Trento, Italy, December 15-19, 1986, Proceedings - researchr publication

researchr

You are not signed in
Sign in
Sign up

Mauro Boscarol, Luigia Carlucci Aiello, Giorgio Levi, editors, Foundations of Logic and Functional Programming, Workshop, Trento, Italy, December 15-19, 1986, Proceedings. Volume 306 of Lecture Notes in Computer Science, Springer, 1988.

Conference: flfp1988

Abstract is missing.

::::Rum::::. An Intensional Theory of Function and Control AbstractionsCarolyn L. Talcott. 3-44

Typechecking Dependent Types and SubtypesLuca Cardelli. 45-57

Reducing Recursion to Iteration by Means of Pairs and N-tuplesCorrado Böhm. 58-66

Unification RevisitedJean-Louis Lassez, Michael J. Maher, Kim Marriott. 67-113

Rule Rewriting Methods for Efficient Implementations of Horn LogicCarlo Zaniolo, Domenico Saccà. 114-139

PAP: A Logic Programming System Based on a Constructive LogicPierangelo Miglioli, Ugo Moscato, Mario Ornaghi. 143-156

A Completeness Result for E-unification Algorithms Based on Conditional NarrowingElio Giovannetti, Corrado Moiso. 157-167

Representing Domain Structure of Many-Sorted Prolog Knowledge BasesNicola Guarino. 168-183

Horn: an Inference Engine Prototype to Implement Intelligent SystemsAntonio D Angelo. 184-200

Hints for the Design of a Set Calculus Oriented to Automated DeductionEugenio G. Omodeo. 201-218

runs on WebDSL