Dawar, Anuj.
Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings / [electronic resource] : edited by Anuj Dawar, Ruy Queiroz. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6188 0302-9743 ; . - Lecture Notes in Computer Science, 6188 .
9783642138249
10.1007/978-3-642-13824-9 doi
Computer science.
Computer software.
Logic design.
Computational complexity.
Algebra--Data processing.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.
QA8.9-QA10.3
005.131
Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings / [electronic resource] : edited by Anuj Dawar, Ruy Queiroz. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6188 0302-9743 ; . - Lecture Notes in Computer Science, 6188 .
9783642138249
10.1007/978-3-642-13824-9 doi
Computer science.
Computer software.
Logic design.
Computational complexity.
Algebra--Data processing.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.
QA8.9-QA10.3
005.131