Reachability Problems : 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings, Bojanczyk, Mikolai (ed.); Lasota, Slawomir (ed.); Potapov, Igor (ed.), Springer

KIRJAUDU

ostoskori

avaa valikko

Reachability Problems : 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings

Mikolai Bojanczyk (ed.), Slawomir Lasota (ed.), Igor Potapov (ed.)

40,00 €

Springer
Sivumäärä: 179 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2015, 18.09.2015 (lisätietoa)
Kieli: Englanti

This
book constitutes the refereed proceedings of the 9th International
Workshop on Reachability Problems, RP 2015, held in Warsaw, Poland, in
September 2015. The 14 papers presented together with 6 extended
abstracts in this volume were carefully reviewed and selected from 23
submissions. The papers cover a range of topics in
the field of reachability for infinite state systems; rewriting systems;
reachability analysis in counter/timed/cellular/communicating automata;
Petri nets; computational aspects of semigroups, groups, and rings;
reachability in dynamical and hybrid systems;
frontiers between decidable and undecidable reachability problems;
complexity and decidability aspects; predictability in iterative maps
and new computational paradigms.