Stanislav Kikot, Agi Kurucz, Vladimir V. Podolskii, Michael Zakharyaschev. Deciding Boundedness of Monadic Sirups. In Leonid Libkin, Reinhard Pichler, Paolo Guagliardo, editors, PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, Virtual Event, China, June 20-25, 2021. pages 370-387, ACM, 2021. [doi]
@inproceedings{KikotKPZ21,
title = {Deciding Boundedness of Monadic Sirups},
author = {Stanislav Kikot and Agi Kurucz and Vladimir V. Podolskii and Michael Zakharyaschev},
year = {2021},
doi = {10.1145/3452021.3458332},
url = {https://doi.org/10.1145/3452021.3458332},
researchr = {https://researchr.org/publication/KikotKPZ21},
cites = {0},
citedby = {0},
pages = {370-387},
booktitle = {PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, Virtual Event, China, June 20-25, 2021},
editor = {Leonid Libkin and Reinhard Pichler and Paolo Guagliardo},
publisher = {ACM},
isbn = {978-1-4503-8381-3},
}