Pages that link to "Item:Q3643270"
From MaRDI portal
The following pages link to Logical Interpolation and Projection onto State in the Duration Calculus (Q3643270):
Displaying 5 items.
- An application of temporal projection to interleaving concurrency (Q2403529) (← links)
- Interval-related interpolation in interval temporal logics (Q2765560) (← links)
- A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus (Q3643269) (← links)
- A Road Map of Interval Temporal Logics and Duration Calculi (Q5902189) (← links)
- A Road Map of Interval Temporal Logics and Duration Calculi (Q5902190) (← links)