Concepedia

Elio Giovannetti

EG

Statistics

Publications

9

Citations

318

H-Index

9

Active since

1986

Affiliations

Telecom Italia Lab(Current)

University of Turin

Elio Giovannetti is an author at Telecom Italia Lab specializing in engineering, automated reasoning, and computer science.

Top concepts

Publications per year

1986–2012

9

Publications

9

Kernel-LEAF: A logic plus functional language

Elio Giovannetti, Giorgio Levi, Corrado Moiso et al. · Journal of Computer and System Sciences · 1991 · 112 citations

, , +5

Narrowing vs. SLD-resolution

Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso · Theoretical Computer Science · 1988 · 58 citations

, , +3

M3

Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti et al. · Electronic Notes in Theoretical Computer Science · 2003 · 35 citations · Full text

A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions.

Giorgio Levi, Catuscia Palamidessi, Pier Giorgio Bosco et al. · SLP · 1987 · 32 citations

IDEAL: An Ideal DEductive Applicative Language

Pier Giorgio Bosco, Elio Giovannetti · 1986 · 26 citations

, , +4

1–5 of 9