Abstract Interpretation and Logic Programming: Festschrift in honor of professor Giorgio Levi - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Ouvrage (Y Compris Édition Critique Et Traduction) Année : 2009

Abstract Interpretation and Logic Programming: Festschrift in honor of professor Giorgio Levi

Domaines

Logique en informatique [cs.LO]

Catuscia Palamidessi  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-00772696

Soumis le : vendredi 11 janvier 2013-02:37:10

Dernière modification le : jeudi 14 décembre 2023-13:56:06

Fichier non déposé

Dates et versions

hal-00772696 , version 1 (11-01-2013)

Identifiants

  • HAL Id : hal-00772696 , version 1

Citer

Maurizio Gabbrielli, Moreno Falaschi, Catuscia Palamidessi. Abstract Interpretation and Logic Programming: Festschrift in honor of professor Giorgio Levi. Elsevier, 410, pp.4601-4800, 2009, Theoretical Computer Science. ⟨hal-00772696⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

X CNRS INRIA LIX X-LIX X-DEP-INFO INRIA2
217 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More