Reachability Problems 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings

Reachability Problems 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings / edited by Alain Finkel, Jerome Leroux, Igor Potapov.

This book constitutes the refereed proceedings of the 6th International Workshop on Reachability Problems, RP 2012, held in Bordeaux, France, in September, 2012. The 8 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 15 submissions. The papers pre...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Finkel, Alain (Editor), Leroux, Jerome (Editor), Potapov, Igor (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Edition:1st ed. 2012.
Series:Theoretical Computer Science and General Issues ; 7550
Springer eBook Collection.
Subjects:
Computer logic.
Software engineering.
Mathematical logic.
Programming languages (Electronic computers).
Algorithms.
Computers.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • Reachability problems in algebraic structures, computational models, hybrid systems, logic and verification
  • Finite- and infinite-state concurrent systems
  • Computational models
  • Decision procedures.

Similar Items