Download Logic, Language, Information And Computation: 17Th International Workshop, Wollic 2010, Brasilia, Brazil, July 6 9, 2010. Proceedings 2010