Pages that link to "Item:Q636345"
From MaRDI portal
The following pages link to The complexity of temporal logic over the reals (Q636345):
Displaying 6 items.
- Metric temporal logic revisited (Q266865) (← links)
- Temporal logics over linear time domains are in PSPACE (Q418122) (← links)
- Quantitative temporal logics over the reals: PSpace and below (Q868030) (← links)
- Timer formulas and decidable metric temporal logic (Q1780454) (← links)
- Bounded variability of metric temporal logic (Q2408743) (← links)
- Decidability of Difference Logic over the Reals with Uninterpreted Unary Predicates (Q6492767) (← links)
