Publications

Fantechi A.; Gnesi S.; Laneve C., Two standards means problems: A case study on formal protocol descriptions, «COMPUTER STANDARDS & INTERFACES», 1989, 9, pp. 11 - 19 [Scientific article]

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

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) [Contribution to conference proceedings]

Garibbo A; Regoli L; Succi G, UNO: Usenet News on Optical disk, in: Proceedings of the Spring '88 EUUG Conference, 1988, pp. 97 - 103 (atti di: Proceedings of the Spring '88 EUUG Conference, London, UK, April, 1988) [Contribution to conference proceedings]

MARTINI, S, AN INTERVAL MODEL FOR 2ND ORDER LAMBDA-CALCULUS, in: Category theory and Computer Science, 175 FIFTH AVE, NEW YORK, NY 10010, SPRINGER VERLAG, «LECTURE NOTES IN COMPUTER SCIENCE», 1987, 283, pp. 219 - 237 (atti di: Conference on Category theory and Computer Science, Edinburgo, 1987) [Contribution to conference proceedings]