Dynamic logic. new trends and applications: 6th international workshop, dalà 2025, xi'an, china, october 20–21, 2025, revised selected papers
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783032226259
Date de publication :
17 juil. 2026
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the revised selected papers of the 6th International Workshop on Dynamic Logic - New Trends and Applications, DaLà 2025, held in Xi'an, China, during October 20–21, 2025. The 12 full papers included in this volume were carefully reviewed and selected from 31 submissions.