Number of the records: 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. 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. Available: doi: 10.1007/978-3-030-65840-3_8
Number of the records: 1