A short bibliography of Massimo Franceschet
Conference papers:
-
M. Franceschet
E. Zimuel
Modal logic and navigational XPath: an experimental comparison
Workshop Methods for Modalities
156-172
2005
http://www.sci.unich.it/~francesc/pubs/m4m05.pdf
Journal papers:
-
M. Franceschet
B. ten Cate
Guarded fragments with constants
Journal of Logic, Language and Information
14
3
281-288
2005
http://www.sci.unich.it/~francesc/pubs/jlli05.pdf