Pages that link to "Item:Q2901191"
From MaRDI portal
The following pages link to A duration calculus with neighborhood modalities (Q2901191):
Displaying 4 items.
- Expressive completeness of duration calculus. (Q1854330) (← links)
- Unifying proof methodologies of duration calculus and timed linear temporal logic (Q1882794) (← links)
- Semiring neighbours: an algebraic embedding and extension of neighbourhood logic (Q2864394) (← links)
- A duration calculus with infinite intervals (Q5055877) (← links)