Dynamic logic : new trends and applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022 : revised selected papers /
This book constitutes revised selected papers from the refereed proceedings of the 4th International Workshop on Dynamic Logic, DaLi 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 n...
Full description
Saved in:
| Corporate Authors: |
DaLí (International Workshop) Online) |
| Other Authors: |
DaLí (International Workshop), Areces, Carlos,, Costa, Diana,, SpringerLink (Online service) |
| Format: |
eBook
|
| Language: |
English
|
| Published: |
Cham, Switzerland :
Springer,
2023.
|
| Physical Description: |
1 online resource (xx, 155 pages) : illustrations.
|
| Series: |
Lecture notes in computer science ;
13780.
|
| Subjects: |
|