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...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , , |
| Format: | Livre numérique |
| Sprache: | Anglais |
| Veröffentlicht: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Schriftenreihe: | Lecture notes in computer science
306 |
| Schlagworte: | |
| Online Zugang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmerkung: |
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 |
| LEADER | 03576nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 945604 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155234099 | ||
| 020 | |a 9783540391265 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 005.1 | ||
| 082 | |a 004 | ||
| 111 | 2 | |a Workshop on foundations of logic and functional programming |d (186 |c :Trente). | |
| 245 | 1 | 0 | |a Foundations of logic and functional programming : |b Workshop, Trento, Italy, December 15 19, 1986 : proceedings |c [edited by] M. Boscarol, L. Carlucci Aiello, G. Levi. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 306 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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. | ||
| 650 | |a Informatique | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Programmation fonctionnelle (informatique) | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Boscarol, Mauro, |d 19..- |4 pbd | |
| 700 | 1 | |a Levi, Giorgio, |d 1942- |4 pbd | |
| 700 | 1 | |a Carlucci Aiello, Luigia, |d 1946- |4 pbd | |
| 776 | 0 | |0 020711905 |t Foundations of Logic and Functional Programming Workshop |o Trento, Italy, December 15-19, 1986 |o proceedings |f M. Boscarol, L. Carlucci Aiello, G. Levi (eds.) |c Berlin |n Springer-Verlag |d 1988 |p 1 vol. (IV-218 p.) |s Lecture notes in computer science |z 0-387-19129-1 | |
| 776 | 0 | |t Foundations of Logic and Functional Programming |b Texte imprimé |z 9783662190999 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-19129-1 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-8W9LVW3P-6 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747909075 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-19129-1 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750921994 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-19129-1 |z Accès INSA CVL | |
| 997 | |0 945604 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||