Grädel, Erich.
Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings / [electronic resource] : edited by Erich Grädel, Reinhard Kahle. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5771 0302-9743 ; . - Lecture Notes in Computer Science, 5771 .
9783642040276
10.1007/978-3-642-04027-6 doi
Computer science.
Coding theory.
Logic design.
Algebra--Data processing.
Logic, Symbolic and mathematical.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Mathematical Logic and Foundations.
Symbolic and Algebraic Manipulation.
Coding and Information Theory.
Mathematics of Computing.
QA8.9-QA10.3
005.131
Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings / [electronic resource] : edited by Erich Grädel, Reinhard Kahle. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5771 0302-9743 ; . - Lecture Notes in Computer Science, 5771 .
9783642040276
10.1007/978-3-642-04027-6 doi
Computer science.
Coding theory.
Logic design.
Algebra--Data processing.
Logic, Symbolic and mathematical.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Mathematical Logic and Foundations.
Symbolic and Algebraic Manipulation.
Coding and Information Theory.
Mathematics of Computing.
QA8.9-QA10.3
005.131