An Intensional Theory of Function and Control Abstractions / L. Cardelli |
Typechecking Dependent Types and Subtypes / C. Bwhm |
Reducing Recursion to Iteration by Means of Pairs and N-tuples / J.-L. Lassez ; M.J. Maher ; K. Marriott |
Unification Revisited / C. Zaniolo ; D. Sacc_ |
Rule Rewriting Methods for Efficient Implementations of Horn logic |
Submitted Contributions / P. Miglioli ; U. Moscato ; M. Ornaghi |
PAP: A logic Programming System Based on a Constructive Logic / E. Giovannetti ; C. Moiso |
A Completeness Result for E-unification Algorithms Based on Conditional Narrowing / N. Guarino |
Representing Domain Structure of Many-sorted Prolog Knowledge Bases / A. D'Angelo |
Horn: An Inference Engine Prototype to Implement Intelligent Systems / E.G. Omodeo |
Hints for the Design of a Set Calculus Oriented to Automated Deduction |
An Intensional Theory of Function and Control Abstractions / L. Cardelli |
Typechecking Dependent Types and Subtypes / C. Bwhm |
Reducing Recursion to Iteration by Means of Pairs and N-tuples / J.-L. Lassez ; M.J. Maher ; K. Marriott |
Unification Revisited / C. Zaniolo ; D. Sacc_ |
Rule Rewriting Methods for Efficient Implementations of Horn logic |
Submitted Contributions / P. Miglioli ; U. Moscato ; M. Ornaghi |