Browse by Person
Up a level |
Number of items: 1.
Kikot, Stanislav and Kurucz, Agi and Podolskii, Vladimir V. and Zakharyaschev, Michael (2021) Deciding Boundedness of Monadic Sirups. In: PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, Virtual Event, China, June 20-25, 2021.