Title: Logic Language Information And Computation 17th International Workshop Wollic 2010 Brasilia Brazil July 69 2010 Proceedings
Subjects: Mathematical Logic and Formal Languages, Berechnungstheorie, Computer logic, Algorithm Analysis and Problem Complexity, Logic, Formale Grammatik, Computing Methodologies, Formal methods (Computer science), Naturliche Sprache, Logik, Informatique, Programming Techniques, Symbolic and mathematical Logic, Logics and Meanings of Programs, Congresses, Computer Science, Programming Languages, Compilers, Interpreters, Theory of Computation, Programmierlogik, Formale Syntax, Logic design, Computational complexity, Computer science, Data processing, Algebra, Computer software, Logic, symbolic and mathematical