Items where Author is "Ghelli, Giorgio"
Group by: Item Type | No Grouping Jump to: Book Number of items: 2. BookGhelli, Giorgio and Colazzo, Dario and Sartiani, Carlo (2007) Efficient Inclusion for a Class of XML Types with Interleaving and Counting. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Ghelli, Giorgio and Conforti, Giovanni (2003) Decidability of Freshness, Undecidability of Revelation. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. |