Reachability Problems 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings /

This book constitutes the refereed proceedings of the 17th International Conference on Reachability Problems, RP 2023, held in Nice, France, during October 11–13, 2023. The 13 full papers included in this book were carefully reviewed and selected from 19 submissions. They present recent research on...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Bournez, Olivier (Editor), Formenti, Enrico (Editor), Potapov, Igor (Editor)
Format:	Electronic eBook
Language:	English
Published:	Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Edition:	1st ed. 2023.
Series:	Lecture Notes in Computer Science, 14235
Subjects:	Machine theory. Computer science. Software engineering. Logic programming. Algorithms. Computer science > Mathematics. Formal Languages and Automata Theory. Computer Science Logic and Foundations of Programming. Software Engineering. Logic in AI. Design and Analysis of Algorithms. Mathematics of Computing.
Online Access:	https://doi.org/10.1007/978-3-031-45286-4
Tags:	Add Tag No Tags, Be the first to tag this record!