Details
- Autor(en) / Beteiligte
- Titel
- Reachability Problems: 14th International Conference, RP 2020, Paris, France, October 19-21, 2020, Proceedings
- Auflage
- 1st Edition 2020
- Ort / Verlag
- Cham: Springer Nature
- Erscheinungsjahr
- 2020
- Link zum Volltext
- Quelle
- Alma/SFX Local Collection
- Beschreibungen/Notizen
- This book constitutes the refereed proceedings of the 14th International Conference on Reachability Problems, RP 2020, held in Paris, France in October 2020.The 8 full papers presented were carefully reviewed and selected from 25 submissions. In addition, 2 invited papers were included in this volume. 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.
- Sprache
- Englisch
- Identifikatoren
- ISBN: 3030617394, 9783030617394, 3030617386, 9783030617387ISSN: 0302-9743eISSN: 1611-3349DOI: 10.1007/978-3-030-61739-4Titel-ID: cdi_askewsholts_vlebooks_9783030617394
- Format
- –
- Schlagworte
- Artificial Intelligence, Computer Science, Computer Systems Organization and Communication Networks, Data processing Computer science, Data Structures and Information Theory, Decidability (Mathematical logic)-Congresses, Information Systems and Communication Service, Mathematics of Computing, Theory of Computation