Elio Giovannetti
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1984–2008
Best venue rank
National
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | CSL | On Isomorphisms of Intersection Types. | Mariangiola Dezani-Ciancaglini, Roberto Di Cosmo, Elio Giovannetti, Makoto Tatsuta |
| 1986 | AIMSA | A Prolog-Compiled Higher-Order Functional and Logic Language. | Pier Giorgio Bosco, Elio Giovannetti |
| 1986 | AIMSA | Some Aspects of the Integration between Logic Programming and Fiunctional Programming. | Elio Giovannetti, Corrado Moiso |
| 1984 | ICLP | A Prolog System for the Verification of Concurrent Processes Against Temporal Logic Specifications. | Pier Giorgio Bosco, G. Giandonato, Elio Giovannetti |