03623nam 22007455 450 99646630300331620230221224555.01-280-38851-X97866135664303-642-15349-610.1007/978-3-642-15349-5(CKB)2670000000036399(SSID)ssj0000446730(PQKBManifestationID)11310113(PQKBTitleCode)TC0000446730(PQKBWorkID)10497905(PQKB)10786462(DE-He213)978-3-642-15349-5(MiAaPQ)EBC3065691(PPN)149018401(EXLCZ)99267000000003639920100821d2010 u| 0engurnn|008mamaatxtccrReachability Problems[electronic resource] 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings /edited by Antonin Kucera, Igor Potapov1st ed. 2010.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2010.1 online resource (X, 199 p. 42 illus.) Theoretical Computer Science and General Issues,2512-2029 ;6227Bibliographic Level Mode of Issuance: Monograph3-642-15348-8 Includes bibliographical references and index.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.Theoretical Computer Science and General Issues,2512-2029 ;6227Computer programmingSoftware engineeringCompilers (Computer programs)Computer scienceMachine theoryProgramming TechniquesSoftware EngineeringCompilers and InterpretersComputer Science Logic and Foundations of ProgrammingFormal Languages and Automata TheoryComputer programming.Software engineering.Compilers (Computer programs).Computer science.Machine theory.Programming Techniques.Software Engineering.Compilers and Interpreters.Computer Science Logic and Foundations of Programming.Formal Languages and Automata Theory.511.35Kucera Antoninedthttp://id.loc.gov/vocabulary/relators/edtPotapov Igoredthttp://id.loc.gov/vocabulary/relators/edtRP 2010BOOK996466303003316Reachability Problems2929641UNISA