Back to Search
Start Over
Dynamic Logic. New Trends and Applications : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers
- Publication Year :
- 2023
-
Abstract
- This book constitutes revised selected papers from the refereed proceedings of the 4th International Workshop on Dynamic Logic, DaLí 2022, held in Haifa, Israel, in July/August 2022.The 8 full papers presented in this volume were carefully reviewed and selected from 22 submissions. They deal with new trends and applications in the area of Dynamic Logic.
- Subjects :
- Logic
Mathematical logic
Logic programming
Software engineering
Computer networks
Subjects
Details
- Language :
- English
- ISBNs :
- 9783031266218 and 9783031266225
- Volume :
- 13780
- Database :
- eBook Index
- Journal :
- Dynamic Logic. New Trends and Applications : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers
- Publication Type :
- eBook
- Accession number :
- 3554986