ENGLISH

Reachability Problems: 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings

By Joël Ouaknine , Igor Potapov , James Worrell (eds.)

Book information

Publisher
Springer International Publishing
Year
2014
ISBN
978-3-319-11438-5, 978-3-319-11439-2
DOI
10.1007/978-3-319-11439-2
Language
english
Format
PDF
Filesize
3 MB (3503281 bytes)
Series
Lecture Notes in Computer Science 8762 Theoretical Computer Science and General Issues
Edition
1
Pages
246\261
Time added
2014-11-10 20:00:00
CompilersComputation by Abstract Devices; Logics and MeaninInterpreters; Mathematical Logic and Formal Langua

Description

This book constitutes the proceedings of the 8th International Workshop on Reachability Problems, RP 2014, held in Oxford, UK, in September 2014. The 17 papers presented in this volume were carefully reviewed and selected from 25 submissions. The book also contains a paper summarizing the invited talk. The papers offer new approaches for the modelling and analysis of computational processes by combining mathematical, algorithmic, and computational techniques.

Similar books