Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[2]
Hilfe
Suche: Author="Giovannetti, Elio"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Dynamic and local typing for mobile ambients
Mario Coppo
,
Mariangiola Dezani-Ciancaglini
,
Elio Giovannetti
,
Rosario Pugliese
Proceedings of the 18th World Computer Congress and TC1 3rd International Conference on Theoretical Computer Science - Exploring New Frontiers of Theoretical Informatics, IFIP TCS'2004 (Toulouse, France, August 22-27, 2004)
, 2004, pp. 577-590
Kernel-LEAF: A logic plus functional language
Elio Giovannetti
,
Giorgio Levi
,
Corrado Moiso
,
Catuscia Palamidessi
Journal of Computer and System Sciences
42
, 1991, pp. 139-185
Narrowing vs.\ SLD-resolution
Pier Giorgio Bosco
,
Elio Giovannetti
,
Corrado Moiso
Theoretical Computer Science
59
, 1988, pp. 3-23