Reachability problems 5th international workshop, RP 2011, Genoa, Italy, September 28-30, 2011: proceedings

Reachability problems 5th international workshop, RP 2011, Genoa, Italy, September 28-30, 2011: proceedings

This book constitutes the refereed proceedings of the 5th International Workshop on Reachability Problems, RP 2011, held in Genoa, Italy, in September 2011. The 16 papers presented together with 4 invited talks were carefully reviewed and selected from 24 submissions. The workshop deals with reachab...

Mô tả đầy đủ

Chi tiết về thư mục
Nhiều tác giả của công ty: RP (Workshop) Genoa, Italy), SpringerLink (Online service)
Tác giả khác: Delzanno, Giorgio, Potapov, Igor
Định dạng: Electronic Resource
Ngôn ngữ:English
Được phát hành: Berlin, New York Springer c2011.
Loạt:Lecture notes in computer science 6945
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Những chủ đề:
Computer systems > Verification > Congresses.
Decidability (Mathematical logic) > Congresses.
Graph theory > Data processing > Congresses.
Electronic books.
Truy cập trực tuyến:Available for University of the Philippines Diliman via Springerlink. Click here to access