Dynamic Logic. New Trends and Applications: 5th International Workshop, DaLí 2023 Tbilisi, Georgia, September 15–16, 2023 Revised Selected Papers
Nina Gierasimczuk, Fernando R. Velázquez-Quesada
This book constitutes the revised selected papers of the 5th International Workshop on Dynamic Logic. New Trends and Applications, DaLí 2023, held in Tbilisi, Georgia, during September 15–16, 2023. The 8 full papers in this book were carefully reviewed and selected from 10 submissions. They deal with new trends and applications in the area of Dynamic Logic.
권:
14401
년:
2024
판:
-
출판사:
Springer
언어:
english
페이지:
148
ISBN 10:
3031517768
ISBN 13:
9783031517761
시리즈:
Lecture Notes in Computer Science
파일:
PDF, 3.91 MB
IPFS:
,
english, 2024