Gabbay Separation for the Duration Calculus

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]

Abstract

Abstract is missing.