Logic, Language, Information and Computation
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-Verlag Berlin Heidelberg 2010 - v.: digital - Lecture Notes in Computer Science 6188 0302-9743 .
9783642138249
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
Άλγεβρα--Ηλεκτρονικοί υπολογιστές--Προγράμματα
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-Verlag Berlin Heidelberg 2010 - v.: digital - Lecture Notes in Computer Science 6188 0302-9743 .
9783642138249
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
Άλγεβρα--Ηλεκτρονικοί υπολογιστές--Προγράμματα