Sfoglia per Autore
Completeness Results for a Polymorphic Type System
1983-01-01 Mario Coppo; Elio Giovannetti
Une caractérisation des termes typés dans un langage applicatif
1983-01-01 E. Giovannetti
A Prolog System for the Verification of Concurrent Processes Against Temporal Logic Specifications
1984-01-01 P. G. Bosco; G. Giandonato; E. Giovannetti
Architectural Choices in a CHILL Machine Design
1984-01-01 G. Giandonato; E. Giovannetti; G. Rosci; G. Sofi
IDEAL: An Ideal DEductive Applicative Language
1986-01-01 P.G. Bosco; E. Giovannetti
Aspetti di una ricerca CSELT su macchine e linguaggi di nuova generazione
1986-01-01 P.G. Bosco; G. Giandonato; S. Giorcelli; E. Giovannetti; G. Sofi
A Completeness Result for E-unification Algorithms Based on Conditional Narrowing
1986-01-01 E. Giovannetti; C. Moiso
Refined Strategies for Semantic Unification
1987-01-01 P. G. Bosco; E. Giovannetti; C. Moiso
A Prolog-Compiled Higher-Order Functional and Logic Language
1987-01-01 P.G. Bosco; E. Giovannetti
Some Aspects of the Integration between Logic Programming and Functional Programming
1987-01-01 E. Giovannetti; C. Moiso
Notes on the Elimination of Conditions
1987-01-01 E. Giovannetti; C. Moiso
A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions
1987-01-01 G. Levi; C. Palamidessi; P. G. Bosco; E. Giovannetti; C. Moiso
A Two-Level Approach to Logic plus Functional Programming Integration
1987-01-01 M. Bellia; P. G. Bosco; E. Giovannetti; G. Levi; C. Moiso; C. Palamidessi
Narrowing vs. SLD-Resolution
1988-01-01 P. G. Bosco; E. Giovannetti; C. Moiso
Narrowing and Resolution in Logic-Functional Programming Languages
1988-01-01 E. Giovannetti
Using Resolution for a Sound and Efficient Integration of Logic and Functional Programming
1989-01-01 P. G. Bosco; C. Cecchi; E. Giovannetti; C. Moiso; C. Palamidessi
Kernel-LEAF: A Logic plus Functional Language
1991-01-01 E. Giovannetti; G. Levi; C. Moiso; C. Palamidessi
Comments on "Logic-Programming with Equations"
1991-01-01 P. G. Bosco; E. Giovannetti; C. Moiso; C. Palamidessi
An Overview of ALCOHOL: an Applicative Logic Concurrent Object-oriented Higher-Order Language
1992-01-01 P. G. Bosco; L. Ferrari; E. Giovannetti; C. Moiso
Intersection Types, Lambda-models and Böhm Trees.
1998-01-01 DEZANI-CIANCAGLINI M.; GIOVANNETTI E.; DE' LIGUORO U.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile