Volpe, Paolo
Derivation of proof methods for logic programs by abstract interpretation : dottorato di ricerca in matematica applicata, informatica computazionale e statistica : tesi di dottorato / Paolo Volpe ; Università di Napoli, Dipartimento di matematica e applicazioni Renato Caccioppoli
1 v
BN 2002-2057T
Università degli studi<Napoli>: Dipartimento di matematica e applicazioni


Tesi di dottorato. | Lingua: Italiano. | Paese: IT. | BID: TSI0103237
Biblioteca Inventario Collocazione Fruizione status
Biblioteca Nazionale Centrale - Firenze TVD980103237 TDR 2001 03237 Lettura tesi in sede