Pages that link to "Item:Q4238501"
From MaRDI portal
The following pages link to Theories of -layered metric temporal structures: expressiveness and decidability (Q4238501):
Displaying 5 items.
- Branching within time: An expressively complete and elementarily decidable temporal logic for time granularity (Q1768798) (← links)
- Decidability results for metric and layered temporal logics (Q1815429) (← links)
- A two-level temporal logic for evolving specifications. (Q1853062) (← links)
- Definability and decidability of binary predicates for time granularity (Q2495389) (← links)
- On the relationships between theories of time granularity and the monadic second-order theory of one successor (Q3647247) (← links)