

An edition of Logic Language Information And Computation 17th International Workshop Wollic 2010 Brasilia Brazil July 69 2010 Proceedings (2010)
By Anuj Dawar
Publish Date
2010
Publisher
Springer
Language
-
Pages
-
Description:
subjects: Mathematical Logic and Formal Languages, Berechnungstheorie, Computer logic, Algorithm Analysis and Problem Complexity, Logic, Formale Grammatik, Computing Methodologies, Formal methods (Computer science), Naturliche 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