Pages that link to "Item:Q1129106"
From MaRDI portal
The following pages link to Non-elementary lower bound for Propositional Duration Calculus (Q1129106):
Displaying 6 items.
- Star free expressions over the reals (Q1575940) (← links)
- Expressive completeness of duration calculus. (Q1854330) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- Decidability of a Hybrid Duration Calculus (Q2867952) (← links)
- A Road Map of Interval Temporal Logics and Duration Calculi (Q5902189) (← links)
- A Road Map of Interval Temporal Logics and Duration Calculi (Q5902190) (← links)
