The following pages link to (Q4218103):
Displaying 6 items.
- Expressive completeness failure in branching time structures (Q1109759) (← links)
- On translations of temporal logic of actions into monadic second-order logic (Q1127537) (← links)
- The expressive power of the temporal query language \(L_{\mathcal H}\) (Q2822943) (← links)
- Specification Languages for Stutter-Invariant Regular Properties (Q3648702) (← links)
- The Expressive Power of Temporal Logic of Actions (Q4779589) (← links)
- Temporal agent programs (Q5940961) (← links)