Počet záznamů: 1
Expressivity of Some Versions of APAL
- 1.van Ditmarsch, H. - Liu, M. - Kuijer, L. B. - Sedlár, Igor
Expressivity of Some Versions of APAL.
Dynamic Logic: New Trends and Applications. Cham: Springer, 2020 - (Martins, M.; Sedlár, I.), s. 120-136. Lecture Notes in Computer Science, 12569. ISBN 978-3-030-65839-7. ISSN 0302-9743.
[DaLí International Workshop /3./. Prague / Online (CZ), 09.10.2020-10.10.2020]
Obor OECD: Pure mathematics
http://hdl.handle.net/11104/0314797
Počet záznamů: 1