Omslagsbillede

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

Fuld beskrivelse

Saved in:

Bibliografiske detaljer
Institution som forfatter:	SpringerLink (Online service)
Andre forfattere:	Bournez, Olivier (Editor), Formenti, Enrico (Editor), Potapov, Igor (Editor)
Format:	Electronisk eBog
Sprog:	engelsk
Udgivet:	Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Udgivelse:	1st ed. 2023.
Serier:	Lecture Notes in Computer Science, 14235
Fag:	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 adgang:	https://doi.org/10.1007/978-3-031-45286-4
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Lignende værker

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

Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings /
Udgivet: (2023)

Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3–5, 2025, Proceedings /
Udgivet: (2025)

R-Calculus, IV: Propositional Logic
af: Li, Wei, et al.
Udgivet: (2023)

Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings /
Udgivet: (2024)

R-Calculus, V: Description Logics
af: Li, Wei, et al.
Udgivet: (2024)

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers /
Udgivet: (2024)

Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings /
Udgivet: (2024)

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14–18, 2025, Proceedings /
Udgivet: (2025)

Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers /
Udgivet: (2023)

Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024, Proceedings /
Udgivet: (2024)

Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings /
Udgivet: (2023)

Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings /
Udgivet: (2023)

Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings /
Udgivet: (2025)

Human and Artificial Rationalities Second International Conference, HAR 2023, Paris, France, September 19–22, 2023, Proceedings /
Udgivet: (2024)

Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers /
Udgivet: (2025)

Recent Trends in Algebraic Development Techniques 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers /
Udgivet: (2023)

TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions /
Udgivet: (2025)

Developments in Language Theory 27th International Conference, DLT 2023, Umeå, Sweden, June 12–16, 2023, Proceedings /
Udgivet: (2023)

Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness Third International Conference, HAR 2024, Paris, France, September 17–20, 2024, Proceedings /
Udgivet: (2025)

Artificial Intelligence Logic and Applications The 3rd International Conference, AILA 2023, Changchun, China, August 5–6, 2023, Proceedings /
Udgivet: (2023)

The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement /
Udgivet: (2024)

Limits of Mathematics A Journey Through the Key Areas of Mathematical Logic /
af: Hoffmann, Dirk W.
Udgivet: (2025)

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III /
Udgivet: (2025)

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II /
Udgivet: (2025)

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I /
Udgivet: (2025)

Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21–24, 2023, Tutorial Lectures /
Udgivet: (2025)

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday /
Udgivet: (2023)

Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday /
Udgivet: (2023)

Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday /
Udgivet: (2023)

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
af: Farmer, William M.
Udgivet: (2023)

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
af: Farmer, William M.
Udgivet: (2025)

Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings /
Udgivet: (2023)

R-Calculus, VI: Finite Injury Priority Method
af: Li, Wei, et al.
Udgivet: (2025)

Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove /
af: Morazán, Marco T.
Udgivet: (2024)

Computational Thinking First Algorithms, Then Code /
af: Ferragina, Paolo, et al.
Udgivet: (2024)

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers /
Udgivet: (2024)

Institution-independent Model Theory
af: Diaconescu, Răzvan
Udgivet: (2025)

Unconventional Computation and Natural Computation 20th International Conference, UCNC 2023, Jacksonville, FL, USA, March 13–17, 2023, Proceedings /
Udgivet: (2023)

Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14–16, 2025, Proceedings /
Udgivet: (2025)