Reachability Problems : 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings / edited by Mikolai Bojanczyk, Slawomir Lasota, Igor Potapov.

Format:

Book

Contributor:

Bojanczyk, Mikolai, editor.

Lasota, Sławomir, editor.

Potapov, Igor, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

LNCS sublibrary. Theoretical computer science and general issues ; SL 1, 9328.

Theoretical Computer Science and General Issues ; 9328

Language:

English

Subjects (All):

Computers.

Computer logic.

Logic, Symbolic and mathematical.

Computation by Abstract Devices.

Logics and Meanings of Programs.

Mathematical Logic and Formal Languages.

Local Subjects:

Computation by Abstract Devices.

Logics and Meanings of Programs.

Mathematical Logic and Formal Languages.

Physical Description:

1 online resource (XX, 179 pages) : 33 illustrations.

Edition:

First edition 2015.

Contained In:

Springer eBooks

Place of Publication:

Cham : Springer International Publishing : Imprint: Springer, 2015.

System Details:

text file PDF

Summary:

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.

Other Format:

Printed edition:

ISBN:

978-3-319-24537-9

9783319245379

Access Restriction:

Restricted for use by site license.