Reachability problems 3rd international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings /
Reachability problems 3rd international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings / [electronic resource] :
RP 2009
edited by Olivier Bournez, Igor Potapov.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
- x, 232 pages : illustrations, digital.
- Lecture notes in computer science, 5797 0302-9743 ; .
9783642044205
Computer systems--Verification--Congresses.
Decidability (Mathematical logic)--Congresses.
Configurations--Congresses.
Computation by Abstract Devices.
Mathematics of Computing.
Theory of Computation.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithm Analysis and Problem Complexity.
003
9783642044205
Computer systems--Verification--Congresses.
Decidability (Mathematical logic)--Congresses.
Configurations--Congresses.
Computation by Abstract Devices.
Mathematics of Computing.
Theory of Computation.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithm Analysis and Problem Complexity.
003