Reachability Problems
Subtitle: 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings
Publisher: Springer London, Limited
Published: 2015
Language: eng
Number of pages: 179
ISBN-13: 9783319245379
Subjects: Model theory; Logic