Pages that link to "Item:Q5271072"
From MaRDI portal
The following pages link to Expressive Completeness for Metric Temporal Logic (Q5271072):
Displaying 14 items.
- A multiple-valued logic approach to the design and verification of hardware circuits (Q266875) (← links)
- Heterogeneous and asynchronous networks of timed systems (Q505453) (← links)
- Bounded variability of metric temporal logic (Q2408743) (← links)
- Expressive completeness for LTL with modulo counting and group quantifiers (Q2825418) (← links)
- When is metric temporal logic expressively complete? (Q2958534) (← links)
- On Process-Algebraic Extensions of Metric Temporal Logic (Q3163409) (← links)
- (Q4218103) (← links)
- (Q5009457) (← links)
- The Expressive Power of Temporal and First-Order Metric Logics (Q5049053) (← links)
- (Q5091278) (← links)
- Making Metric Temporal Logic Rational (Q5111294) (← links)
- (Q5190775) (← links)
- On the decidability and complexity of Metric Temporal Logic over finite words (Q5310684) (← links)
- (Q5376664) (← links)