Cover Image
Read Now

Reachability Problems 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings

This book constitutes the refereed proceedings of the 9th International Workshop on Reachability Problems, RP 2015, held in Warsaw, Poland, in September 2015. The 14 papers presented together with 6 extended abstracts in this volume were carefully reviewed and selected from 23 submissions. The paper...

Full description

Bibliographic Details
Other Authors: Bojanczyk, Mikolai (Editor), Lasota, Slawomir (Editor), Potapov, Igor (Editor)
Format: eBook
Language:English
Published: Cham Springer International Publishing 2015, 2015
Edition:1st ed. 2015
Series:Theoretical Computer Science and General Issues
Subjects:
Computer Science Logic And Foundations Of Programming
Computer Science
Formal Languages And Automata Theory
Machine Theory
Theory Of Computation
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
LEADER 02019nmm a2200325 u 4500
001 EB001086481
003 EBX01000000000000000845845
005 00000000000000.0
007 cr|||||||||||||||||||||
008 151215 ||| eng
020 |a 9783319245379 
100 1 |a Bojanczyk, Mikolai  |e [editor] 
245 0 0 |a Reachability Problems  |h Elektronische Ressource  |b 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings  |c edited by Mikolai Bojanczyk, Slawomir Lasota, Igor Potapov 
250 |a 1st ed. 2015 
260 |a Cham  |b Springer International Publishing  |c 2015, 2015 
300 |a XX, 179 p. 33 illus  |b online resource 
653 |a Computer Science Logic and Foundations of Programming 
653 |a Computer science 
653 |a Formal Languages and Automata Theory 
653 |a Machine theory 
653 |a Theory of Computation 
700 1 |a Lasota, Slawomir  |e [editor] 
700 1 |a Potapov, Igor  |e [editor] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b Springer  |a Springer eBooks 2005- 
490 0 |a Theoretical Computer Science and General Issues 
028 5 0 |a 10.1007/978-3-319-24537-9 
856 4 0 |u https://doi.org/10.1007/978-3-319-24537-9?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 004.0151 
520 |a This book constitutes the refereed proceedings of the 9th International Workshop on Reachability Problems, RP 2015, held in Warsaw, Poland, in September 2015. The 14 papers presented together with 6 extended abstracts in this volume were carefully reviewed and selected from 23 submissions. The papers cover a range of topics in the field of 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 

Similar Items