Dynamic logic. New trends and applications. 5th international workshop, DaLí 2023, Tbilisi, Georgia, September 15--16, 2023. Revised selected papers

DOI10.1007/978-3-031-51777-8OpenAlexW4390831636MaRDI QIDQ6192773

No author found.

Publication date: 12 March 2024

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-51777-8

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Logic in computer science (03B70) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

This page was built for publication: Dynamic logic. New trends and applications. 5th international workshop, DaLí 2023, Tbilisi, Georgia, September 15--16, 2023. Revised selected papers