株式会社極東書店トップ ＞ 商品一覧 ＞ Reachability Problems: 15th International Conference, RP 2021, Liverpool, UK, October 25-27, 2021, Proceedings. 1st ed. 2021
商品詳細
Reachability Problems: 15th International Conference, RP 2021, Liverpool, UK, October 25-27, 2021, Proceedings. 1st ed. 2021
・ISBN 978-3-030-89715-4 paper EUR 79.99
￥21,380.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
| 著者・編者 | Bell, Paul C. / Totzke, Patrick / Potapov, Igor (eds.), |
|---|---|
| シリーズ | (Lecture Notes in Computer Science) |
| 出版社 | (Springer Nature Switzerland AG, SZ) |
| 出版年月 | 2021 |
| ページ数 | 165 pp. |
| 言語 | ENG |
| ニュース番号 | ＜A01-84904＞ |
解説
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.