Dimitar P. Guelev. Gabbay Separation for the Duration Calculus. In Alexander Artikis, Roberto Posenato, Stefano Tonetta, editors, 29th International Symposium on Temporal Representation and Reasoning, TIME 2022, November 7-9, 2022, Virtual Conference. Volume 247 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]
@inproceedings{Guelev22,
title = {Gabbay Separation for the Duration Calculus},
author = {Dimitar P. Guelev},
year = {2022},
doi = {10.4230/LIPIcs.TIME.2022.10},
url = {https://doi.org/10.4230/LIPIcs.TIME.2022.10},
researchr = {https://researchr.org/publication/Guelev22},
cites = {0},
citedby = {0},
booktitle = {29th International Symposium on Temporal Representation and Reasoning, TIME 2022, November 7-9, 2022, Virtual Conference},
editor = {Alexander Artikis and Roberto Posenato and Stefano Tonetta},
volume = {247},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-262-4},
}