Non-elementary lower bound for Propositional Duration Calculus
From MaRDI portal
Publication:1129106
DOI10.1016/S0020-0190(98)00027-1zbMath0925.68062MaRDI QIDQ1129106
Publication date: 13 August 1998
Published in: Information Processing Letters (Search for Journal in Brave)
Complexity; Real time systems; Duration Calculus; Propositional Duration Calculus; Star free expressions
Related Items
A Road Map of Interval Temporal Logics and Duration Calculi, A Road Map of Interval Temporal Logics and Duration Calculi, Star free expressions over the reals, Expressive completeness of duration calculus., A survey on temporal logics for specifying and verifying real-time systems, Decidability of a Hybrid Duration Calculus
Cites Work