Reachability Problems: 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings (2013) (Lecture Notes in Computer Science #8169)
By: and
Sign Up Now!
Already a Member? Log In
You must be logged into UK education collection to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- This book constitutes the refereed proceedings of the 7th International Workshop on Reachability Problems, RP 2013, held in Uppsala, Sweden, in September 2013. The 19 revised papers (The 14 revised papers were carefully reviewed and selected from 24 submissions in addition to 5 invited talks) were carefully reviewed and selected from 24 submissions. Topics of interest include reachability for finite 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.
- Copyright:
- 2013
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9783642410369
- Related ISBNs:
- 9783642410352
- Publisher:
- Springer Berlin Heidelberg
- Date of Addition:
- 07/20/22
- Copyrighted By:
- N/A
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Computers and Internet, Mathematics and Statistics, Philosophy
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
- Edited by:
- Parosh Aziz Abdulla
- Edited by:
- Igor Potapov
Reviews
Other Books
- by Igor Potapov
- by Parosh Aziz Abdulla
- in Nonfiction
- in Computers and Internet
- in Mathematics and Statistics
- in Philosophy