Kanazawa, Makoto.
The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings / [electronic resource] : edited by Makoto Kanazawa, András Kornai, Marcus Kracht, Hiroyuki Seki. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6878 0302-9743 ; . - Lecture Notes in Computer Science, 6878 .
9783642232114
10.1007/978-3-642-23211-4 doi
Computer science.
Information theory.
Logic design.
Algebra--Data processing.
Logic, Symbolic and mathematical.
Computer Science.
Mathematical Logic and Formal Languages.
Symbolic and Algebraic Manipulation.
Logics and Meanings of Programs.
Theory of Computation.
Mathematics of Computing.
Mathematical Logic and Foundations.
QA8.9-QA10.3
005.131
The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings / [electronic resource] : edited by Makoto Kanazawa, András Kornai, Marcus Kracht, Hiroyuki Seki. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6878 0302-9743 ; . - Lecture Notes in Computer Science, 6878 .
9783642232114
10.1007/978-3-642-23211-4 doi
Computer science.
Information theory.
Logic design.
Algebra--Data processing.
Logic, Symbolic and mathematical.
Computer Science.
Mathematical Logic and Formal Languages.
Symbolic and Algebraic Manipulation.
Logics and Meanings of Programs.
Theory of Computation.
Mathematics of Computing.
Mathematical Logic and Foundations.
QA8.9-QA10.3
005.131