17. WoLLIC 2010: Brasilia, Brazil

Anuj Dawar, Ruy J. G. B. de Queiroz (Eds.): Logic, Language, Information and Computation, 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings. Lecture Notes in Computer Science 6188 Springer 2010, ISBN 978-3-642-13823-2 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML