Cherubini, Anna Maria (ed.); Coppo, Mario (ed.); Persiano, Giuseppe (ed.) Special issue: ICTCS 09. Selected papers based on the presentations at the 11th Italian conference on theoretical computer science, Cremona, Italy, September 28–30, 2009. (English) Zbl 1218.68013 RAIRO, Theor. Inform. Appl. 45, No. 1, 180 p. (2011). The articles of this volume will be reviewed individually. Cited in 1 Review MSC: 68-06 Proceedings, conferences, collections, etc. pertaining to computer science 00B25 Proceedings of conferences of miscellaneous specific interest 68Qxx Theory of computing 68N15 Theory of programming languages 68N19 Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) 03B70 Logic in computer science PDF BibTeX XML Cite \textit{A. M. Cherubini} (ed.) et al., RAIRO, Theor. Inform. Appl. 45, No. 1, 180~p. (2011; Zbl 1218.68013)