Dynamic Logic. New Trends and Applications
Subtitle: 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers
Publisher: Springer
Published: 2024
Language: eng
ISBN-13: 9783031517761