Pubblicazioni

Ciaccia P.; Maio D.; Tiberio P., A unifying approach to evaluating block accesses in database organizations, «INFORMATION PROCESSING LETTERS», 1988, 28, pp. 253 - 257 [Articolo in rivista]

Martini S., Bounded quantifiers have Interval Models, in: Proceedings of the 1988 ACM Conference on LISP and Functional Programming, LFP 1988, Association for Computing Machinery, Inc, 1988, pp. 164 - 173 (atti di: 1988 ACM Conference on LISP and Functional Programming, LFP 1988, usa, 1988) [Contributo in Atti di convegno]