Bournez, Olivier.
Reachability Problems 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings / [electronic resource] : edited by Olivier Bournez, Igor Potapov. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5797 0302-9743 ; . - Lecture Notes in Computer Science, 5797 .
9783642044205
10.1007/978-3-642-04420-5 doi
Computer science.
Information theory.
Computer software.
Logic design.
Computer Science.
Mathematics of Computing.
Theory of Computation.
Algorithm Analysis and Problem Complexity.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Mathematical Logic and Formal Languages.
QA76.9.M35
004.0151
Reachability Problems 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings / [electronic resource] : edited by Olivier Bournez, Igor Potapov. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5797 0302-9743 ; . - Lecture Notes in Computer Science, 5797 .
9783642044205
10.1007/978-3-642-04420-5 doi
Computer science.
Information theory.
Computer software.
Logic design.
Computer Science.
Mathematics of Computing.
Theory of Computation.
Algorithm Analysis and Problem Complexity.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Mathematical Logic and Formal Languages.
QA76.9.M35
004.0151