Domini astratti per l'analisi statica di programmi logici dottorato di ricerca in matematica computazionale ed informatica matematica tesi per il conseguimento del titolo di dottore di ricerca
1992
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in UNITESI sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Utilizza questo identificativo per citare o creare un link a questo documento:
https://hdl.handle.net/20.500.14242/238909
Il codice NBN di questa tesi è
URN:NBN:IT:UNIPD-238909