![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Dynamic Logic. New Trends and Applications Volume 12005 (Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings) ||
Soares Barbosa, Luís, Baltag, AlexandruVolume:
10.1007/97
Year:
2020
DOI:
10.1007/978-3-030-38808-9
File:
PDF, 5.48 MB
2020