Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings - Coppo, Mario; Lodi, Elena; Pinna, G. Michele; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2005)
Keywords: Computer science; Data structures (Computer science).; Computer software; Logic design; Computational complexity; Computer Science; Computation by Abstract Devices; Data Structures; Algorithm Analysis and Problem Complexity; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Discrete Mathematics in Computer Science