Dynamic Logic. New Trends and Applications: 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers - Couverture souple

Couverture souple

ISBN 10 : 3031517768 ISBN 13 : 9783031517761

Editeur : Springer, 2024

Synopsis

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.

Détails de l'édition

• Éditeur: Springer
• Date d'édition: 2024
• Langue: anglais
• ISBN 10: 3031517768
• ISBN 13: 9783031517761
• Reliure: Broché
• Numéro d'édition: 1
• Nombre de pages: 152
• Éditeur: Gierasimczuk Nina, Velázquez-Quesada Fernando R.
• Coordonnées du fabricant: ProductSafety@springernature.com; ProductSafety@springernature.com; ; Poststr. 9; Darmstadt; 64293; Allemagne