This book constitutes the proceedings of the Third International Workshop on Dynamic Logic, Da Li 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 Da Li 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.
Compre este e-book e ganhe mais 1 GRÁTIS!
Língua Inglês ● Formato EPUB ● ISBN 9783030658403 ● Editor Manuel A. Martins & Igor Sedlar ● Editora Springer International Publishing ● Publicado 2020 ● Carregável 3 vezes ● Moeda EUR ● ID 8033103 ● Proteção contra cópia Adobe DRM
Requer um leitor de ebook capaz de DRM