Theory and Applications of Models of Computation
Ogihara, Mitsunori.
Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings / [electronic resource] : edited by Mitsunori Ogihara, Jun Tarui. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - v.: digital - Lecture Notes in Computer Science, 6648 0302-9743 ; .
9783642208775
Computer science
Information theory
Computer software
Logic design
Computational complexity
Computer Science
Theory of Computation
Mathematics of Computing
Algorithm Analysis and Problem Complexity
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Discrete Mathematics in Computer Science
Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings / [electronic resource] : edited by Mitsunori Ogihara, Jun Tarui. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - v.: digital - Lecture Notes in Computer Science, 6648 0302-9743 ; .
9783642208775
Computer science
Information theory
Computer software
Logic design
Computational complexity
Computer Science
Theory of Computation
Mathematics of Computing
Algorithm Analysis and Problem Complexity
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Discrete Mathematics in Computer Science