Počet záznamů: 1
Expressivity of Some Versions of APAL
- 1.van Ditmarsch, H., Liu, M., Kuijer, L. B., Sedlár, I. Expressivity of Some Versions of APAL. In: MARTINS, M. A., SEDLÁR, I., eds. Dynamic Logic: New Trends and Applications. Cham: Springer, 2020, s. 120-136. Lecture Notes in Computer Science, 12569. ISBN 978-3-030-65839-7. ISSN 0302-9743. Dostupné z: doi: 10.1007/978-3-030-65840-3_8
Počet záznamů: 1