TY  - BOOK
AU  - Beklemishev,Lev D.
AU  - Queiroz,Ruy
ED  - SpringerLink (Online service)
TI  - Logic, Language, Information and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783642209208
AV  - QA8.9-QA10.3 
U1  - 005.131 23
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
KW  - Computer Science
KW  - Mathematical Logic and Formal Languages
KW  - Logics and Meanings of Programs
KW  - Algorithm Analysis and Problem Complexity
KW  - Computation by Abstract Devices
KW  - Discrete Mathematics in Computer Science
KW  - Symbolic and Algebraic Manipulation
N2  - This book constitutes the refereed proceedings of the 18th Workshop on Logic, Language, Information and Communication, WoLLIC 2011, held in Philadelphia, PA, USA, in May 2011. The 21 revised full papers presented were carefully reviewed and selected from 35 submissions. Among the topics covered are various aspects of mathematical logic, computer science logics, philosophical logics, such as complexity theory, model theory, partial order, Hoare logics, hybrid logics, Turing machines, etc
UR  - http://148.231.10.114:2048/login?url=http://link.springer.com/book/10.1007/978-3-642-20920-8
ER  -