Dynamic Logic. New Trends and Applications: 6th International Workshop, DaLí 2025, Xi'an, China, October 20–21, 2025, Revised Selected Papers Book Discussion
Dynamic Logic. New Trends and Applications: 6th International Workshop, DaLí 2025, Xi'an, China, October 20–21, 2025, Revised Selected Papers (Lecture Notes in Computer Science, 16472)
by
