000			01895nam a2200397Ia 4500
000			03410nam a22004215i 4500
001			978-3-031-45286-4
003			DE-He213
005			20240319121111.0
007			cr nn 008mamaa
008			231004s2023 sz | s |||| 0|eng d
020			_a9783031452864 _9978-3-031-45286-4
082			_a5.131
245			_aReachability Problems _cedited by Olivier Bournez, Enrico Formenti, Igor Potapov. _h[electronic resource] :
250			_a1st ed. 2023.
260			_aCham _bSpringer Nature Switzerland _c2023
300			_aXLVIII, 199 p. 33 illus., 14 illus. in color. _bonline resource.
520			_aThis book constitutes the refereed proceedings of the 17th International Conference on Reachability Problems, RP 2023, held in Nice, France, during October 11-13, 2023. The 13 full papers included in this book were carefully reviewed and selected from 19 submissions. They present recent research on reachability problems to promote the exploration of new approaches for the modeling and analysis of computational processes by combining mathematical, algorithmic, and computational techniques.
650			_aAlgorithms. _938009
650			_aComputer science _938010
650			_aComputer Science Logic and Foundations of Programming. _938011
650			_aComputer science. _938010
650			_aDesign and Analysis of Algorithms. _938012
650			_aFormal Languages and Automata Theory. _938013
650			_aLogic in AI. _938014
650			_aLogic programming. _938015
650			_aMachine theory. _938016
650			_aMathematics of Computing. _938017
650			_aSoftware engineering. _938018
650			_aSoftware Engineering. _938019
700			_aBournez, Olivier. _938020
700			_aFormenti, Enrico. _938021
700			_aPotapov, Igor. _938022
856			_uhttps://doi.org/10.1007/978-3-031-45286-4
942			_cEBK _2ddc
999			_c15758 _d15758