|
Showing 1 - 1 of
1 matches in All Departments
|
Reachability Problems - 15th International Conference, RP 2021, Liverpool, UK, October 25-27, 2021, Proceedings (Paperback, 1st ed. 2021)
Paul C. Bell, Patrick Totzke, Igor Potapov
|
R2,390
Discovery Miles 23 900
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the 15th
International Conference on Reachability Problems, RP 2021, held in
Liverpool, UK in October 2021. The 6 full papers presented were
carefully reviewed and selected from 27 submissions. In addition, 4
invited papers were included in this volume. The RP proceedings
cover topics such as 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. Chapter 'Recent Advances on Reachability
Problems for Valence Systems' is available open access under a
Creative Commons Attribution 4.0 International License via
link.springer.com.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R205
R168
Discovery Miles 1 680
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.