%0 Journal Article %1 journals/jair/KuruczRSZ23 %A Kurucz, Agi %A Ryzhikov, Vladislav %A Savateev, Yury %A Zakharyaschev, Michael %D 2023 %J J. Artif. Intell. Res. %K dblp %P 645-703 %T Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic. %U http://dblp.uni-trier.de/db/journals/jair/jair76.html#KuruczRSZ23 %V 76

@article{journals/jair/KuruczRSZ23, 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/2ccd90c186fecf090ccd1a850aaa23180/dblp}, ee = {https://doi.org/10.1613/jair.1.14061}, interhash = {5290016e248c3e5470b5979912c7f282}, intrahash = {ccd90c186fecf090ccd1a850aaa23180}, journal = {J. Artif. Intell. Res.}, keywords = {dblp}, pages = {645-703}, timestamp = {2024-04-08T20:02:45.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/jair/jair76.html#KuruczRSZ23}, volume = 76, year = 2023 }