Kurucz, Agi

1 publications

JAIR 2023 Deciding FO-Rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev