Dynamic logic : new trends and applications : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022 : revised selected papers / Carlos Areces, Diana Costa, editors.

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:

Bibliographic Details
Corporate Author:	DaLí (International Workshop) Online)
Other Authors:	Areces, Carlos (Editor), Costa, Diana (Editor)
Format:	eBook
Language:	English
Published:	Cham, Switzerland : Springer, 2023.
Series:	Lecture notes in computer science ; 13780.
Subjects:	Computer logic > Congresses. Software engineering > Congresses. Computer networks > Congresses. Computer logic Computer networks Software engineering proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès.
Online Access:	Click for online access

‌

Click for online access

Online

Holdings details from Online
	Available

Dynamic logic : new trends and applications : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022 : revised selected papers / Carlos Areces, Diana Costa, editors.

‌

Online

Similar Items