Developments in Language Theory 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings - Mauri, Giancarlo; Leporati, Alberto; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2011)
Keywords: Computer science; Computer software; Logic design; Computational complexity; Artificial intelligence; Computer Science; Algorithm Analysis and Problem Complexity; Computation by Abstract Devices; Mathematical Logic and Formal Languages; Discrete Mathematics in Computer Science; Logics and Meanings of Programs; Artificial Intelligence (incl. Robotics).