DISI Dipartimento di Informatica e Scienze dell'Informazione

Publications of Maura Cerioli

In reversed chronological order (more or less)

Chapters in Books

International Proceedings

International Journals

Ph. D. Thesis

M. Cerioli. Relationships between Logical Frameworks, Universities of Genova, Pisa and Udine, 1993. Available as internal report of Pisa University, TD-4/93.

Please send suggestions and comments to: Last Updated:
Maura Cerioli cerioli@disi.unige.it
22 September, 1999