Kurz, Alexander.
Algebra and Coalgebra in Computer Science Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings / [electronic resource] : edited by Alexander Kurz, Marina Lenisa, Andrzej Tarlecki. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5728 0302-9743 ; . - Lecture Notes in Computer Science, 5728 .
9783642037412
10.1007/978-3-642-03741-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 Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings / [electronic resource] : edited by Alexander Kurz, Marina Lenisa, Andrzej Tarlecki. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5728 0302-9743 ; . - Lecture Notes in Computer Science, 5728 .
9783642037412
10.1007/978-3-642-03741-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