Pages that link to "Item:Q5111294"
From MaRDI portal
The following pages link to Making Metric Temporal Logic Rational (Q5111294):
Displaying 10 items.
- A logical characterization of timed regular languages (Q728264) (← links)
- The compound interest in relaxing punctuality (Q2024340) (← links)
- Theorem proving for pointwise metric temporal logic over the naturals via translations (Q2228435) (← links)
- When is metric temporal logic expressively complete? (Q2958534) (← links)
- Parametric Metric Interval Temporal Logic (Q3564866) (← links)
- On Metric Temporal Łukasiewicz Logic (Q4982626) (← links)
- (Q5009457) (← links)
- (Q5190775) (← links)
- Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers (Q6488465) (← links)
- From non-punctuality to non-adjacency: a quest for decidability of timed temporal logics with quantifiers (Q6610381) (← links)