Beklemishev, Lev D.
Logic, Language, Information and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings / [electronic resource] : edited by Lev D. Beklemishev, Ruy Queiroz. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6642 0302-9743 ; . - Lecture Notes in Computer Science, 6642 .
9783642209208
10.1007/978-3-642-20920-8 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 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings / [electronic resource] : edited by Lev D. Beklemishev, Ruy Queiroz. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6642 0302-9743 ; . - Lecture Notes in Computer Science, 6642 .
9783642209208
10.1007/978-3-642-20920-8 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