The following pages link to (Q3365587):
Displaying 7 items.
- On the completeness and decidability of duration calculus with iteration (Q557828) (← links)
- Guest editors' preface to special issue on interval temporal logics (Q2251123) (← links)
- On coarser interval temporal logics (Q2321249) (← links)
- (Q4904145) (← links)
- Interval Temporal Logic Semantics of Box Algebra (Q5404934) (← links)
- A Road Map of Interval Temporal Logics and Duration Calculi (Q5902189) (← links)
- Correction (Q6044359) (← links)