in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743
Volume: 12569 LNCS
Conference
3Rd International Workshop on Dynamic Logic, Dalí 2020, Date: 9 October 2020 through 10 October 2020
