UnipiEprints
Università di Pisa
Sistema bibliotecario di ateneo
Login | Create Account

Items where Author is "Giacobazzi, Roberto"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Book
Number of items: 5.

Book

Giacobazzi, Roberto and Ranzato, Francesco and Scozzari, Francesca (2001) Optimal Semantics and Domains in Logic Program Analysis. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Giacobazzi, Roberto and Ranzato, Francesco (1997) Making abstract interpretations complete. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Giacobazzi, Roberto and Ranzato, Francesco (1997) Functional Compositions of Abstract Interpretations. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Giacobazzi, Roberto (1997) Abductive analysis of modular logic programs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Giacobazzi, Roberto and Ranzato, Francesco (1997) Lifting complete orders to achieve co-additivity of closure operators. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

This list was generated on Wed Apr 24 05:26:30 2024 CEST.
EPrints Logo
UnipiEprints is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.