Interval temporal logics over strongly discrete linear orders: expressiveness and complexity

From MaRDI portal
Publication:477203

DOI10.1016/j.tcs.2014.03.033zbMath1335.03017OpenAlexW2083861746MaRDI QIDQ477203

Davide Bresolin, Pietro Sala, Dario Della Monica, Guido Sciavicco, Angelo Montanari

Publication date: 2 December 2014

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2014.03.033




Related Items (14)



Cites Work




This page was built for publication: Interval temporal logics over strongly discrete linear orders: expressiveness and complexity