[Back]


Scientific Reports:

N. Labai, M. Simkus, M. Ortiz de la Fuente:
"An ExpTime Upper Bound for ALC with Integers (Extended Version)";
Report for arXiv; Report No. 2006.02078, 2020; 36 pages.



Electronic version of the publication:
https://arxiv.org/pdf/2006.02078.pdf


Created from the Publication Database of the Vienna University of Technology.