Meta data
- BibTeX key
- conf/kr/LabaiOS20
- entry type
- inproceedings
- booktitle
- KR
- year
- 2020
- pages
- 614-623
- crossref
- conf/kr/2020
- ee
- https://doi.org/10.24963/kr.2020/61
- isbn
- 978-0-9992411-7-2
- url
- http://dblp.uni-trier.de/db/conf/kr/kr2020.html#LabaiOS20
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/kr/LabaiOS20
%A Labai, Nadia
%A Ortiz, Magdalena
%A Simkus, Mantas
%B KR
%D 2020
%E Calvanese, Diego
%E Erdem, Esra
%E Thielscher, Michael
%K dblp
%P 614-623
%T An ExpTime Upper Bound for ALC with Integers.
%U http://dblp.uni-trier.de/db/conf/kr/kr2020.html#LabaiOS20
%@ 978-0-9992411-7-2
@inproceedings{conf/kr/LabaiOS20,
added-at = {2023-06-26T00:00:00.000+0200},
author = {Labai, Nadia and Ortiz, Magdalena and Simkus, Mantas},
biburl = {https://www.bibsonomy.org/bibtex/2ab068cb38d0a3b48c803541df47a275f/dblp},
booktitle = {KR},
crossref = {conf/kr/2020},
editor = {Calvanese, Diego and Erdem, Esra and Thielscher, Michael},
ee = {https://doi.org/10.24963/kr.2020/61},
interhash = {4ec3fd0b7b35a554293f57f66b7c1e42},
intrahash = {ab068cb38d0a3b48c803541df47a275f},
isbn = {978-0-9992411-7-2},
keywords = {dblp},
pages = {614-623},
timestamp = {2024-04-10T13:33:57.000+0200},
title = {An ExpTime Upper Bound for ALC with Integers.},
url = {http://dblp.uni-trier.de/db/conf/kr/kr2020.html#LabaiOS20},
year = 2020
}