Foundations of logic and functional programming : Workshop, Trento, Italy, December 15 19, 1986 : proceedings
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. Thi...
保存先:
| 団体著者: | |
|---|---|
| その他の著者: | , , |
| フォーマット: | Livre numérique |
| 言語: | Anglais |
| 出版事項: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| シリーズ: | Lecture notes in computer science
306 |
| 主題: | |
| オンライン･アクセス: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| 注記: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Foundations of Logic and Functional Programming Workshop, Trento, Italy, December 15-19, 1986, proceedings, M. Boscarol, L. Carlucci Aiello, G. Levi (eds.), Berlin, Springer-Verlag, 1988, 1 vol. (IV-218 p.), Lecture notes in computer science, 0-387-19129-1 • Foundations of Logic and Functional Programming, Texte imprimé, 9783662190999 |
目次:
- 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.