Deciding Boundedness of Monadic Sirups

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]

Authors

Stanislav Kikot

This author has not been identified. Look up 'Stanislav Kikot' in Google

Agi Kurucz

This author has not been identified. Look up 'Agi Kurucz' in Google

Vladimir V. Podolskii

This author has not been identified. Look up 'Vladimir V. Podolskii' in Google

Michael Zakharyaschev

This author has not been identified. Look up 'Michael Zakharyaschev' in Google