GIOVANNETTI, Elio

GIOVANNETTI, Elio  

INFORMATICA  

Mostra records
Risultati 1 - 17 di 17 (tempo di esecuzione: 0.014 secondi).
Titolo Data di pubblicazione Autore(i) File
A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions 1987 G. Levi; C. Palamidessi; P. G. Bosco; E. Giovannetti; C. Moiso
A Completeness Result for E-unification Algorithms Based on Conditional Narrowing 1986 E. Giovannetti; C. Moiso
A Prolog System for the Verification of Concurrent Processes Against Temporal Logic Specifications 1984 P. G. Bosco; G. Giandonato; E. Giovannetti
A Prolog-Compiled Higher-Order Functional and Logic Language 1987 P.G. Bosco; E. Giovannetti
A Two-Level Approach to Logic plus Functional Programming Integration 1987 M. Bellia; P. G. Bosco; E. Giovannetti; G. Levi; C. Moiso; C. Palamidessi
An Overview of ALCOHOL: an Applicative Logic Concurrent Object-oriented Higher-Order Language 1992 P. G. Bosco; L. Ferrari; E. Giovannetti; C. Moiso
Architectural Choices in a CHILL Machine Design 1984 G. Giandonato; E. Giovannetti; G. Rosci; G. Sofi
Aspetti di una ricerca CSELT su macchine e linguaggi di nuova generazione 1986 P.G. Bosco; G. Giandonato; S. Giorcelli; E. Giovannetti; G. Sofi
Completeness Results for a Polymorphic Type System 1983 Mario Coppo; Elio Giovannetti
Dynamic and Local Typing for Mobile Ambients 2004 M. COPPO; M. DEZANI; E. GIOVANNETTI ; R. PUGLIESE
IDEAL: An Ideal DEductive Applicative Language 1986 P.G. Bosco; E. Giovannetti
Narrowing and Resolution in Logic-Functional Programming Languages 1988 E. Giovannetti
Notes on the Elimination of Conditions 1987 E. Giovannetti; C. Moiso
On Isomorphisms of Intersection Types 2008 Mariangiola Dezani; Roberto Di Cosmo; Elio Giovannetti; Makoto Tatsuta
Refined Strategies for Semantic Unification 1987 P. G. Bosco; E. Giovannetti; C. Moiso
Some Aspects of the Integration between Logic Programming and Functional Programming 1987 E. Giovannetti; C. Moiso
Type Inference for Mobile Ambients in Prolog 2004 Elio Giovannetti