Pages that link to "Item:Q1815429"
From MaRDI portal
The following pages link to Decidability results for metric and layered temporal logics (Q1815429):
Displaying 3 items.
- 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)
