Corradini, Andrea.
Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers / [electronic resource] : edited by Andrea Corradini, Ugo Montanari. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5486 0302-9743 ; . - Lecture Notes in Computer Science, 5486 .
9783642034299
10.1007/978-3-642-03429-9 doi
Computer science.
Information theory.
Logic design.
Logic, Symbolic and mathematical.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Mathematics of Computing.
Theory of Computation.
Computation by Abstract Devices.
Mathematical Logic and Foundations.
QA76.9.L63 QA76.5913 QA76.63
005.1015113
Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers / [electronic resource] : edited by Andrea Corradini, Ugo Montanari. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5486 0302-9743 ; . - Lecture Notes in Computer Science, 5486 .
9783642034299
10.1007/978-3-642-03429-9 doi
Computer science.
Information theory.
Logic design.
Logic, Symbolic and mathematical.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Mathematics of Computing.
Theory of Computation.
Computation by Abstract Devices.
Mathematical Logic and Foundations.
QA76.9.L63 QA76.5913 QA76.63
005.1015113