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...
में बचाया:
| निगमित लेखक: | |
|---|---|
| अन्य लेखक: | , |
| स्वरूप: | इलेक्ट्रोनिक ई-पुस्तक |
| भाषा: | अंग्रेज़ी |
| प्रकाशित: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2024.
|
| संस्करण: | 1st ed. 2024. |
| श्रृंखला: | Lecture Notes in Computer Science,
15050 |
| विषय: | |
| ऑनलाइन पहुंच: | https://doi.org/10.1007/978-3-031-72621-7 |
| टैग: |
टैग जोड़ें
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!
|
समान संसाधन
Reachability Problems 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings /
प्रकाशित: (2023)
प्रकाशित: (2023)
Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings /
प्रकाशित: (2023)
प्रकाशित: (2023)
Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3–5, 2025, Proceedings /
प्रकाशित: (2025)
प्रकाशित: (2025)
R-Calculus, IV: Propositional Logic
द्वारा: Li, Wei, और अन्य
प्रकाशित: (2023)
द्वारा: Li, Wei, और अन्य
प्रकाशित: (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 /
प्रकाशित: (2024)
प्रकाशित: (2024)
R-Calculus, V: Description Logics
द्वारा: Li, Wei, और अन्य
प्रकाशित: (2024)
द्वारा: Li, Wei, और अन्य
प्रकाशित: (2024)
Rigorous State-Based Methods 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings /
प्रकाशित: (2024)
प्रकाशित: (2024)
Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers /
प्रकाशित: (2024)
प्रकाशित: (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 /
प्रकाशित: (2025)
प्रकाशित: (2025)
Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers /
प्रकाशित: (2023)
प्रकाशित: (2023)
Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8–11, 2024, Proceedings /
प्रकाशित: (2024)
प्रकाशित: (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 /
प्रकाशित: (2025)
प्रकाशित: (2025)
Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings /
प्रकाशित: (2025)
प्रकाशित: (2025)
Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness Third International Conference, HAR 2024, Paris, France, September 17–20, 2024, Proceedings /
प्रकाशित: (2025)
प्रकाशित: (2025)
Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings /
प्रकाशित: (2023)
प्रकाशित: (2023)
Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings /
प्रकाशित: (2023)
प्रकाशित: (2023)
Recent Trends in Algebraic Development Techniques 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers /
प्रकाशित: (2023)
प्रकाशित: (2023)
Developments in Language Theory 27th International Conference, DLT 2023, Umeå, Sweden, June 12–16, 2023, Proceedings /
प्रकाशित: (2023)
प्रकाशित: (2023)
The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement /
प्रकाशित: (2024)
प्रकाशित: (2024)
Limits of Mathematics A Journey Through the Key Areas of Mathematical Logic /
द्वारा: Hoffmann, Dirk W.
प्रकाशित: (2025)
द्वारा: Hoffmann, Dirk W.
प्रकाशित: (2025)
Human and Artificial Rationalities Second International Conference, HAR 2023, Paris, France, September 19–22, 2023, Proceedings /
प्रकाशित: (2024)
प्रकाशित: (2024)
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III /
प्रकाशित: (2025)
प्रकाशित: (2025)
TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions /
प्रकाशित: (2025)
प्रकाशित: (2025)
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II /
प्रकाशित: (2025)
प्रकाशित: (2025)
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I /
प्रकाशित: (2025)
प्रकाशित: (2025)
Artificial Intelligence Logic and Applications The 3rd International Conference, AILA 2023, Changchun, China, August 5–6, 2023, Proceedings /
प्रकाशित: (2023)
प्रकाशित: (2023)
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
द्वारा: Farmer, William M.
प्रकाशित: (2023)
द्वारा: Farmer, William M.
प्रकाशित: (2023)
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
द्वारा: Farmer, William M.
प्रकाशित: (2025)
द्वारा: Farmer, William M.
प्रकाशित: (2025)
Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21–24, 2023, Tutorial Lectures /
प्रकाशित: (2025)
प्रकाशित: (2025)
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday /
प्रकाशित: (2023)
प्रकाशित: (2023)
Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday /
प्रकाशित: (2023)
प्रकाशित: (2023)
Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday /
प्रकाशित: (2023)
प्रकाशित: (2023)
Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers /
प्रकाशित: (2024)
प्रकाशित: (2024)
Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings /
प्रकाशित: (2023)
प्रकाशित: (2023)
Computational Thinking First Algorithms, Then Code /
द्वारा: Ferragina, Paolo, और अन्य
प्रकाशित: (2024)
द्वारा: Ferragina, Paolo, और अन्य
प्रकाशित: (2024)
R-Calculus, VI: Finite Injury Priority Method
द्वारा: Li, Wei, और अन्य
प्रकाशित: (2025)
द्वारा: Li, Wei, और अन्य
प्रकाशित: (2025)
Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14–16, 2025, Proceedings /
प्रकाशित: (2025)
प्रकाशित: (2025)
Institution-independent Model Theory
द्वारा: Diaconescu, Răzvan
प्रकाशित: (2025)
द्वारा: Diaconescu, Răzvan
प्रकाशित: (2025)
Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove /
द्वारा: Morazán, Marco T.
प्रकाशित: (2024)
द्वारा: Morazán, Marco T.
प्रकाशित: (2024)
Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers /
प्रकाशित: (2025)
प्रकाशित: (2025)