Kapak Resmi

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

Ful tanımlama

Kaydedildi:
Detaylı Bibliyografya
Müşterek Yazar: SpringerLink (Online service)
Diğer Yazarlar: Kovács, Laura (Editör), Sokolova, Ana (Editör)
Materyal Türü: Elektronik Ekitap
Dil:İngilizce
Baskı/Yayın Bilgisi: Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Edisyon:1st ed. 2024.
Seri Bilgileri:Lecture Notes in Computer Science, 15050
Konular:
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 Erişim:https://doi.org/10.1007/978-3-031-72621-7
Etiketler: Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
Diğer Bilgiler
Özet: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 contains two invited talks in full paper length. The contributions in these proceedings cover topics from computability and reachability; automata and complexity; linear systems and recurrences; and games and abstractions.
Fiziksel Özellikler:XXVI, 239 p. 31 illus., 15 illus. in color. online resource.
ISBN:9783031726217
ISSN:1611-3349 ;
DOI:10.1007/978-3-031-72621-7

Benzer Materyaller