TY - BOOK AU - Mauri,Giancarlo AU - Leporati,Alberto ED - SpringerLink (Online service) TI - Developments in Language Theory: 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings T2 - Lecture Notes in Computer Science, SN - 9783642223211 PY - 2011/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer science KW - Computer software KW - Logic design KW - Computational complexity KW - Artificial intelligence KW - Computer Science KW - Algorithm Analysis and Problem Complexity KW - Computation by Abstract Devices KW - Mathematical Logic and Formal Languages KW - Discrete Mathematics in Computer Science KW - Logics and Meanings of Programs KW - Artificial Intelligence (incl. Robotics) UR - http://dx.doi.org/10.1007/978-3-642-22321-1 ER -