TY - BOOK AU - Queiroz,Ruy AU - Beklemishev,Lev D. ED - WoLLIC 2011. TI - Logic, Language, Information and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings SN - 9783642209208 PY - 2011/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer science KW - Computer Software KW - Logic design KW - Computational complexity KW - Algebra KW - Data processing UR - http://dx.doi.org/10.1007/978-3-642-20920-8 ER -