TY - BOOK AU - Kulikov,Alexander AU - Vereshchagin,Nikolay ED - SpringerLink (Online service) TI - Computer Science – Theory and Applications: 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings T2 - Lecture Notes in Computer Science, SN - 9783642207129 AV - QA76.9.A43 U1 - 005.1 23 PY - 2011/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer science KW - Computer software KW - Logic design KW - Computational complexity KW - Computer Science KW - Algorithm Analysis and Problem Complexity KW - Logics and Meanings of Programs KW - Mathematical Logic and Formal Languages KW - Discrete Mathematics in Computer Science KW - Computation by Abstract Devices KW - Mathematics of Computing N2 - This book constitutes the proceedings of the 6th International Computer Science Symposium in Russia, CSR 2011, held in St. Petersburg, Russia, in June 2011. The 29 papers presented were carefully reviewed and selected from 76 submissions. The scope of topics of the symposium was quite broad and covered basically all areas of the foundations of theoretical computer science UR - http://148.231.10.114:2048/login?url=http://link.springer.com/book/10.1007/978-3-642-20712-9 ER -