Theoretical Computer Science: 9th Italian Conference, Ictcs 2005, Siena, Italy, October 12-14, 2005, Proceedings (lecture Notes In Computer Science)