Travelled to:1 × Germany
1 × Italy
1 × Sweden
2 × USA
Collaborated with:P.G.Bosco C.Moiso ∅ G.Giandonato M.Dezani-Ciancaglini R.D.Cosmo M.Tatsuta G.Levi C.Palamidessi
Talks about:languag (3) logic (3) function (2) semant (2) ideal (2) intersect (1) character (1) strategi (1) isomorph (1) resolut (1)
Person: Elio Giovannetti
DBLP: Giovannetti:Elio
Contributed to:
2008
1988
198719861984
1987Wrote 6 papers:
- CSL-2008-Dezani-CiancagliniCGT #morphism #on the
- On Isomorphisms of Intersection Types (MDC, RDC, EG, MT), pp. 461–477.
- ALP-1988-Giovannetti #programming language
- Narrowing and Resolution in Logic-Functional programming Languages (EG), p. 30.
- SLP-1987-LeviPBGM87 #logic #semantics
- A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions (GL, CP, PGB, EG, CM), pp. 318–327.
- SLP-1986-BoscoG86 #deduction #named
- IDEAL: An Ideal Deductive Applicative Language (PGB, EG), pp. 89–94.
- ILPC-1984-BoscoGG84 #concurrent #logic #process #prolog #specification #verification
- A Prolog System for the Verification of Concurrent Processes Against Temporal Logic Specifications (PGB, GG, EG), pp. 219–229.
- CFLP-1987-BoscoGM #semantics #unification
- Refined Strategies for Semantic Unification (PGB, EG, CM), pp. 276–290.