Logic, Language, Information and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings - WoLLIC 2011. 2011 : Philadelphia, USA); Queiroz, Ruy.; Beklemishev, Lev D. (Berlin, Heidelberg : Springer Berlin Heidelberg, 2011)
Keywords: Computer science; Computer Software; Logic design; Computational complexity; Algebra -- Data processing