%0 Journal Article %1 journals/corr/abs-2207-06210 %A Kurucz, Agi %A Ryzhikov, Vladislav %A Savateev, Yury %A Zakharyaschev, Michael %D 2022 %J CoRR %K dblp %T Deciding FO-rewritability of regular languages and ontology-mediated queries in Linear Temporal Logic. %U http://dblp.uni-trier.de/db/journals/corr/corr2207.html#abs-2207-06210 %V abs/2207.06210

@article{journals/corr/abs-2207-06210, added-at = {2023-09-30T00:00:00.000+0200}, author = {Kurucz, Agi and Ryzhikov, Vladislav and Savateev, Yury and Zakharyaschev, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2b6bfa981eb3f12514ecf8c970b981291/dblp}, ee = {https://doi.org/10.48550/arXiv.2207.06210}, interhash = {91375f74abafcc8403358e32a903f840}, intrahash = {b6bfa981eb3f12514ecf8c970b981291}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:43:51.000+0200}, title = {Deciding FO-rewritability of regular languages and ontology-mediated queries in Linear Temporal Logic.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2207.html#abs-2207-06210}, volume = {abs/2207.06210}, year = 2022 }