LEADER 03105nam  22006615  450 
001 9910349406503321
005 20251225203751.0
010   $a9783030002503
010   $a3030002500
024 7 $a10.1007/978-3-030-00250-3
035   $a(CKB)4100000006519954
035   $a(DE-He213)978-3-030-00250-3
035   $a(MiAaPQ)EBC6297083
035   $a(PPN)230538541
035   $a(EXLCZ)994100000006519954
100   $a20180829d2018      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aReachability Problems $e12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings /$fedited by Igor Potapov, Pierre-Alain Reynier
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (XXI, 161 p. 32 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11123
311 08$a9783030002497 
311 08$a3030002497 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the refereed proceedings of the 12th International Conference on Reachability Problems, RP 2018, held in Marseille, France, in September 2018. The 11 full papers presented were carefully reviewed and selected from 21 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.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11123
606   $aComputer science
606   $aNumerical analysis
606   $aComputer science$xMathematics
606   $aMathematical statistics
606   $aComputer Science Logic and Foundations of Programming
606   $aNumerical Analysis
606   $aMathematical Applications in Computer Science
606   $aProbability and Statistics in Computer Science
615  0$aComputer science.
615  0$aNumerical analysis.
615  0$aComputer science$xMathematics.
615  0$aMathematical statistics.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aNumerical Analysis.
615 24$aMathematical Applications in Computer Science.
615 24$aProbability and Statistics in Computer Science.
676   $a003.3
676   $a004
702   $aPotapov$b Igor$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aReynier$b Pierre-Alain$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910349406503321
996   $aReachability Problems$93573647
997   $aUNINA