GIOVANNETTI, Elio

GIOVANNETTI, Elio  

INFORMATICA  

Mostra records
Risultati 1 - 20 di 35 (tempo di esecuzione: 0.024 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 Mobility Calculus with Local Dependent Types 2005 M. COPPO; F. COZZI; M. DEZANI; E. GIOVANNETTI; R. PUGLIESE
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
Ambient Calculi with Types: a Tutorial. 2003 E. GIOVANNETTI
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
Comments on "Logic-Programming with Equations" 1991 P. G. Bosco; E. Giovannetti; C. Moiso; C. Palamidessi
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
From Böhm's Theorem to Observational Equivalences: an Informal Account 2001 DEZANI-CIANCAGLINI M; GIOVANNETTI E.
IDEAL: An Ideal DEductive Applicative Language 1986 P.G. Bosco; E. Giovannetti
Informatica nella scuola primaria 2007 G. B. Demo; E. Giovannetti; R. Trinchero
Intersection Types, Lambda-models and Böhm Trees. 1998 DEZANI-CIANCAGLINI M.; GIOVANNETTI E.; DE' LIGUORO U.
Isomorphism checker for intersection-types 2010 Mariangiola Dezani; Elio Giovannetti; Loris D'Antoni; Daniele Rispoli
Kernel-LEAF: A Logic plus Functional Language 1991 E. Giovannetti; G. Levi; C. Moiso; C. Palamidessi
M3: Mobility Types for Mobile Processes in Mobile Ambients 2003 COPPO M; DEZANI-CIANCAGLINI M; GIOVANNETTI E; SALVO I