Infoscience
7th Italian Conference on Theoretical Computer Science, ICTCS 2001
October 4–6, 2001
Torino, Italy