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...

Deskribapen osoa

Xehetasun bibliografikoak

Erakunde egilea:	SpringerLink (Online service)
Beste egile batzuk:	Bournez, Olivier (Argitaratzailea), Formenti, Enrico (Argitaratzailea), Potapov, Igor (Argitaratzailea)
Formatua:	Baliabide elektronikoa eBook
Hizkuntza:	ingelesa
Argitaratua:	Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Edizioa:	1st ed. 2023.
Saila:	Lecture Notes in Computer Science, 14235
Gaiak:	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.
Sarrera elektronikoa:	https://doi.org/10.1007/978-3-031-45286-4
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!