H | |
---|---|
[HvdM18] | Xiaowei Huang et Ron van der Meyden. An Epistemic Strategy Logic. ACM Transactions on Computational Logic 19(4):26:1-26:45. ACM Press, décembre 2018. |
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1
H | |
---|---|
[HvdM18] | Xiaowei Huang et Ron van der Meyden. An Epistemic Strategy Logic. ACM Transactions on Computational Logic 19(4):26:1-26:45. ACM Press, décembre 2018. |