TY - DATA AU - Rocha,Ricardo AU - Launchbury,John ED - SpringerLink (Online service) TI - Practical Aspects of Declarative Languages: 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings SN - 9783642183782 PY - 2011/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer science KW - Software engineering KW - Logic design KW - Artificial intelligence KW - Computer Science KW - Programming Languages, Compilers, Interpreters KW - Programming Techniques KW - Logics and Meanings of Programs KW - Software Engineering KW - Mathematical Logic and Formal Languages KW - Artificial Intelligence (incl. Robotics) UR - http://dx.doi.org/10.1007/978-3-642-18378-2 ER -