Up a level |
Number of items: 2.
Huang, Xiaowei ORCID: 0000-0001-6267-0366 and Meyden, Ron van der
(2018)
An Epistemic Strategy Logic.
ACM Transactions on Computational Logic, 19 (4).
Huang, Xiaowei ORCID: 0000-0001-6267-0366 and Meyden, Ron van der
(2018)
An Epistemic Strategy Logic.
ACM Transactions on Computational Logic, 19 (4).
pp. 1-45.