Autore:
Volpe, Paolo
Titolo:
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
Descrizione fisica:
1 v
Numero BNI:
BN 2002-2057T
Autori secondari:
Università degli studi<Napoli>: Dipartimento di matematica e applicazioni
Classe Dewey:
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 |
Documenti simili
- Gruppi i cui sottogruppi ciclici sono virtualmente subnormali / Paolo Santaniello ; Dipartimento di matematca e applicazioni Renato Caccioppoli ; il coordinatore del dottorato di ricerca in matematica: Salvatore Rionero Santaniello, Paolo
- Lindelöf products and Michael spaces : thesis submitted in partial fulfillment of the requirements for the dottorato di ricerca in matematica / by Agata Caserta ; Dipartimento di matematica ed applicazioni R. Caccioppoli ; tutors: G. Di Maio, S. Watson ; coordinatore del corso di dottorato: S. Rionero Caserta, Agata
- Partial differential equations : different approaching methods : tesi / Giovanni Pisante ; il coordinatore del dottorato di ricerca in matematica: Salvatore Rionero ; Dipartimento di matematica e applicazioni R. Caccioppoli Pisante, Giovanni
- Flock generalized quadrangles and spreads : tesi / Ilaria Cardinali ; Dipartimento di matematica e applicazioni R. Caccioppoli ; il coordinatore del dottorato di ricerca in matematica: Salvatore Rionero Cardinali, Ilaria
- Equazioni ellittiche e simmetrizzazione rispetto alla misura di Gauss : tesi / Giuseppina di Blasio ; il coordinatore del dottorato di ricerca in matematica: Salvatore Rionero ; Dipartimento di matematica e applicazioni R. Caccioppoli Di_Blasio, Giuseppina
