2020 | Buch
Dynamic Logic. New Trends and Applications
Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings
herausgegeben von: Luís Soares Barbosa, Alexandru Baltag
Verlag: Springer International Publishing
Buchreihe : Lecture Notes in Computer Science