Dynamic Logic. New Trends and Applications

Lieferzeit: Lieferbar innerhalb 14 Tagen

58,84 

4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1,2022, Revised Selected Papers, Lecture Notes in Computer Science 13780

ISBN: 3031266218
ISBN 13: 9783031266218
Herausgeber: Carlos Areces/Diana Costa
Verlag: Springer Verlag GmbH
Umfang: xiii, 155 S., 37 s/w Illustr., 155 p. 37 illus.
Erscheinungsdatum: 15.02.2023
Auflage: 1/2023
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 8012291 Kategorie:

Beschreibung

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. 

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …