Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25–27, 2024, Proceedings /

This book constitutes the proceedings of the 18th International Conference on Reachability Problems, RP 2024, which took place in Vienna, Austria, during September 25–27, 2024. The 13 full papers included in these proceedings were carefully reviewed and selected from 37 submissions. The book also co...

Descrizione completa

Dettagli Bibliografici

Ente Autore:	SpringerLink (Online service)
Altri autori:	Kovács, Laura (Redattore), Sokolova, Ana (Redattore)
Natura:	Elettronico eBook
Lingua:	inglese
Pubblicazione:	Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Edizione:	1st ed. 2024.
Serie:	Lecture Notes in Computer Science, 15050
Soggetti:	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.
Accesso online:	https://doi.org/10.1007/978-3-031-72621-7
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!