Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings - Coppo, Mario; Lodi, Elena; Pinna, G. Michele (Theoretical Computer Science and General Issues, 2005)