Theoretical Computer Science 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings - Blundo, Carlo; Blundo, Carlo; Laneve, Cosimo; Laneve, Cosimo (Springer Berlin Heidelberg : Imprint: Springer, 2003)