Ditmarsch, Hans.
Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings / [electronic resource] : edited by Hans Ditmarsch, Jérôme Lang, Shier Ju. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6953 0302-9743 ; . - Lecture Notes in Computer Science, 6953 .
9783642241307
10.1007/978-3-642-24130-7 doi
Computer science.
Information theory.
Logic design.
Computational complexity.
Algebra--Data processing.
Logic, Symbolic and mathematical.
Computer Science.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.
Logics and Meanings of Programs.
Theory of Computation.
QA8.9-QA10.3
005.131
Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings / [electronic resource] : edited by Hans Ditmarsch, Jérôme Lang, Shier Ju. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6953 0302-9743 ; . - Lecture Notes in Computer Science, 6953 .
9783642241307
10.1007/978-3-642-24130-7 doi
Computer science.
Information theory.
Logic design.
Computational complexity.
Algebra--Data processing.
Logic, Symbolic and mathematical.
Computer Science.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.
Logics and Meanings of Programs.
Theory of Computation.
QA8.9-QA10.3
005.131