The following pages link to (Q4797422):
Displaying 8 items.
- Point algebras for temporal reasoning: Algorithms and complexity (Q814509) (← links)
- Computational complexity of relating time points with intervals (Q1292318) (← links)
- On point-based temporal disjointness (Q1342229) (← links)
- Algebraic branch points at all loop orders from positive kinematics and wall crossing (Q1981447) (← links)
- Branching interval algebra: an almost complete picture (Q2051838) (← links)
- Relation algebras of Sugihara, Belnap, Meyer, and Church (Q2210869) (← links)
- Adding clauses to poor man's logic (without increasing the complexity) (Q3647233) (← links)
- Deciding the consistency of branching time interval networks (Q5079779) (← links)
