This book constitutes the proceedings of the Third International Workshop on Dynamic Logic, DaLí 2019, held in Prague, Czech Republic in October 2020. Due to COVID-19 the workshop has been held online. The 17 full papers presented together with 6 short papers were carefully reviewed and selected from 31 submissions. The theoretical relevance and practical potential of dynamic logic is a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. The DaLí 2020 workshop is exclusively dedicated to Dynamic logic and aims at filling this gap and creating a heterogeneous community of colleagues, from Academia to Industry, from Mathematics to Computer Science.
人気のある作家
J KING (12) JJ TAM (12) yang hu (11) Al Sweigart (8) Mojang AB (8) desti publishhings (7) Hidenori Kusaka (6) John Bach (6) JP TAM (6) Andrea Vedaldi (5) Halonjash Publications (5) Hiro Ainana (5) Horst Bischof (5) Intelligent Feather Publications (5) Jan-Michael Frahm (5) Michael W. Lucas (5) Andrew Park (4) Benjamin Smith (4) Engr. Michael David (4) Harvey Deitel (4)最適なファイルサイズ
10531 KB 1079 KB 1116 KB 1233 KB 2661 KB 370 KB 484 KB 536 KB 649 KB 738 KB 790 KB 10049 KB 1006 KB 10137 KB 1016 KB 102097 KB 1029 KB 10325 KB 1032 KB 1035 KB