Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Journal Article
%1 journals/corr/abs-2004-07221
%A Artale, Alessandro
%A Kontchakov, Roman
%A Kovtunova, Alisa
%A Ryzhikov, Vladislav
%A Wolter, Frank
%A Zakharyaschev, Michael
%D 2020
%J CoRR
%K dblp
%T First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic.
%U http://dblp.uni-trier.de/db/journals/corr/corr2004.html#abs-2004-07221
%V abs/2004.07221
@article{journals/corr/abs-2004-07221,
added-at = {2020-04-21T00:00:00.000+0200},
author = {Artale, Alessandro and Kontchakov, Roman and Kovtunova, Alisa and Ryzhikov, Vladislav and Wolter, Frank and Zakharyaschev, Michael},
biburl = {https://www.bibsonomy.org/bibtex/2e6c8e1e5a3866b6fe06d83765fcfa36b/dblp},
ee = {https://arxiv.org/abs/2004.07221},
interhash = {bc922d418446c6f941f5ec9d9d7f3b90},
intrahash = {e6c8e1e5a3866b6fe06d83765fcfa36b},
journal = {CoRR},
keywords = {dblp},
timestamp = {2020-04-22T11:39:14.000+0200},
title = {First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr2004.html#abs-2004-07221},
volume = {abs/2004.07221},
year = 2020
}