h - CSR 2011. 2011 : St. Petersburg, Russia); Vereshchagin, Nikolay; Kulikov, Alexander (Berlin, Heidelberg : Springer Berlin Heidelberg, 2011)
Keywords: Computer science; Computer Software; Logic design; Computational complexity