OPAC

Reachability Problems : 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings / edited by Anthony W. Lin, Georg Zetzsche, Igor Potapov
(Lecture Notes in Computer Science. ISSN:16113349 ; 13608)

データ種別	電子ブック
版	1st ed. 2022.
出版者	(Cham : Springer International Publishing : Imprint: Springer)
出版年	2022
大きさ	XLIII, 179 p. 28 illus., 7 illus. in color : online resource
著者標目	Lin, Anthony W editor Zetzsche, Georg editor Potapov, Igor editor SpringerLink (Online service)

URL	巻　次	配架場所	請求記号	登録番号	コメント	刷　年	状　態	利用注記	ISBN	予約	請求メモ
URL		射水-電子	007	EB0001554	Computer Scinece R0 2005-6,2022-3				9783031191350

一般注記	This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2022, held in Kaiserslautern, Germany, in October 2022. The 8 full papers presented were carefully reviewed and selected from 14 submissions. In addition, 3 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 HTTP:URL=https://doi.org/10.1007/978-3-031-19135-0
件　名	LCSH:Machine theory LCSH:Computer science LCSH:Software engineering LCSH:Logic programming LCSH:Algorithms LCSH:Computer science—Mathematics FREE:Formal Languages and Automata Theory FREE:Computer Science Logic and Foundations of Programming FREE:Software Engineering FREE:Logic in AI FREE:Design and Analysis of Algorithms FREE:Mathematics of Computing
分　類	LCC:QA267-268.5 DC23:005.131
書誌ID	EB00000942
ISBN	9783031191350