Dongmo Zhang. Behavioural Equivalence of Game Descriptions. In Marcus Gallagher, Nour Moustafa, Erandi Lakshika, editors, AI 2020: Advances in Artificial Intelligence - 33rd Australasian Joint Conference, AI 2020, Canberra, ACT, Australia, November 29-30, 2020, Proceedings. Volume 12576 of Lecture Notes in Computer Science, pages 307-319, Springer, 2020. [doi]
@inproceedings{Zhang20-112,
title = {Behavioural Equivalence of Game Descriptions},
author = {Dongmo Zhang},
year = {2020},
doi = {10.1007/978-3-030-64984-5_24},
url = {https://doi.org/10.1007/978-3-030-64984-5_24},
researchr = {https://researchr.org/publication/Zhang20-112},
cites = {0},
citedby = {0},
pages = {307-319},
booktitle = {AI 2020: Advances in Artificial Intelligence - 33rd Australasian Joint Conference, AI 2020, Canberra, ACT, Australia, November 29-30, 2020, Proceedings},
editor = {Marcus Gallagher and Nour Moustafa and Erandi Lakshika},
volume = {12576},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-64984-5},
}