Logic, Rationality, and Interaction
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-Verlag GmbH Berlin Heidelberg, 2011. - v.: digital - Lecture Notes in Computer Science, 6953 0302-9743 ; .
9783642241307
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
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-Verlag GmbH Berlin Heidelberg, 2011. - v.: digital - Lecture Notes in Computer Science, 6953 0302-9743 ; .
9783642241307
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