Oskar Fiuk, Emanuel Kieronski, Vincent Michielini. On the complexity of Maslov's class K̅. In Pawel Sobocinski 0001, Ugo Dal Lago, Javier Esparza, editors, Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2024, Tallinn, Estonia, July 8-11, 2024. ACM, 2024. [doi]
@inproceedings{FiukKM24,
title = {On the complexity of Maslov's class K̅},
author = {Oskar Fiuk and Emanuel Kieronski and Vincent Michielini},
year = {2024},
doi = {10.1145/3661814.3662097},
url = {https://doi.org/10.1145/3661814.3662097},
researchr = {https://researchr.org/publication/FiukKM24},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2024, Tallinn, Estonia, July 8-11, 2024},
editor = {Pawel Sobocinski 0001 and Ugo Dal Lago and Javier Esparza},
publisher = {ACM},
}