Reachability Problems: 13th International Conference, Rp 2019, Brussels, Belgium, September 11-13, 2019, Proceedings
暫譯: 可達性問題：第十三屆國際會議，Rp 2019，布魯塞爾，比利時，2019年9月11-13日，會議論文集

Filiot, Emmanuel, Jungers, Raphael, Potapov, Igor

Reachability Problems: 13th International Conference, Rp 2019, Brussels, Belgium, September 11-13, 2019, Proceedings
  • 出版商: Springer
  • 出版日期: 2019-09-06
  • 售價: $2,420
  • 貴賓價: 9.5 折 $2,299
  • 語言: 英文
  • 頁數: 233
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3030308057
  • ISBN-13: 9783030308056

    • 海外代購書籍(需單獨結帳)

相關主題

商品描述

This book constitutes the refereed proceedings of the 13th International Conference on Reachability Problems, RP 2019, held in Brussels, Belgium, in September 2019.

The 14 full papers presented were carefully reviewed and selected from 26 submissions. The papers 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.

商品描述(中文翻譯)

本書為第十三屆國際可達性問題會議（RP 2019）的經過審稿的會議論文集，該會議於2019年9月在比利時布魯塞爾舉行。

本次會議共提交了26篇論文，經過仔細審查後選出了14篇完整論文。這些論文涵蓋的主題包括：無限狀態系統的可達性；重寫系統；在計數器/定時/細胞/通訊自動機中的可達性分析；Petri 網；半群、群和環的計算方面；動態和混合系統中的可達性；可決與不可決可達性問題之間的邊界；複雜性和可決性方面；迭代映射中的可預測性；以及新的計算範式。

類似商品

最後瀏覽商品 (20)