Corradini, Andrea.
Algebra and Coalgebra in Computer Science 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings / [electronic resource] : edited by Andrea Corradini, Bartek Klin, Corina Cîrstea. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6859 0302-9743 ; . - Lecture Notes in Computer Science, 6859 .
9783642229442
10.1007/978-3-642-22944-2 doi
Computer science.
Logic design.
Computational complexity.
Algebra--Data processing.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.
Models and Principles.
Computation by Abstract Devices.
QA76.9.L63 QA76.5913 QA76.63
005.1015113
Algebra and Coalgebra in Computer Science 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings / [electronic resource] : edited by Andrea Corradini, Bartek Klin, Corina Cîrstea. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6859 0302-9743 ; . - Lecture Notes in Computer Science, 6859 .
9783642229442
10.1007/978-3-642-22944-2 doi
Computer science.
Logic design.
Computational complexity.
Algebra--Data processing.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.
Models and Principles.
Computation by Abstract Devices.
QA76.9.L63 QA76.5913 QA76.63
005.1015113