Dynamic logic. new trends and applications: third international workshop, dalà 2020, prague, czech republic, october 9–10, 2020, revised selected papers
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030658397
Date de publication :
22 déc. 2020
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the proceedings of the Third International Workshop on Dynamic Logic, DaLÃ 2019, held in Prague, Czech Republic in October 2020.