Website Search
Find information on spaces, staff, and services.
Catalog Search
Computer file; Books
Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings
- Author / Creator
- Conferences
- RP 2010 (2010 : Brno, Czech Republic)
- RP 2010
- Available as
- Online
Details
- Creator
- edited by Antonin Kucera, Igor Potapov
- Format
- Computer file; Books
- Language
- English
- Contributors
- Publication
-
- 1st ed. 2010
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010
- Physical Details
-
- 1 online resource (X, 199 p. 42 illus.)
- ISBNs
- 3642153488, 9783642153495, 3642153496, 128038851X, 9786613566430, 9783642153488
- OCLC
- ocn658055549
- Bibliographic Level Mode of Issuance: Monograph
- Includes bibliographical references and index.
- English
- Descriptional Complexity of (Un)ambiguous Finite State Machines and Pushdown Automata -- Symbolic and Compositional Reachability for Timed Automata -- Temporal Logics over Linear Time Domains Are in PSPACE -- Lossy Counter Machines Decidability Cheat Sheet -- Behavioral Cartography of Timed Automata -- On the Joint Spectral Radius for Bounded Matrix Languages -- Z-Reachability Problem for Games on 2-Dimensional Vector Addition Systems with States Is in P -- Towards the Frontier between Decidability and Undecidability for Hyperbolic Cellular Automata -- Rewriting Systems for Reachability in Vector Addition Systems with Pairs -- The Complexity of Model Checking for Intuitionistic Logics and Their Modal Companions -- Depth Boundedness in Multiset Rewriting Systems with Name Binding -- Efficient Construction of Semilinear Representations of Languages Accepted by Unary NFA -- Efficient Graph Reachability Query Answering Using Tree Decomposition