Cover image for Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers
Title:
Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers
Author:
Gierasimczuk, Nina. editor.
ISBN:
9783031517778
Edition:
1st ed. 2024.
Physical Description:
XI, 137 p. 19 illus., 6 illus. in color. online resource.
Series:
Lecture Notes in Computer Science, 14401
Abstract:
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.
Added Corporate Author:
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
E-Book 602351-1001 ONLINE
Searching...

On Order