Pages that link to "Item:Q2251125"
From MaRDI portal
The following pages link to The dark side of interval temporal logic: marking the undecidability border (Q2251125):
Displayed 3 items.
- The dark side of interval temporal logic: marking the undecidability border (Q2251125) (← links)
- Sub-propositional Fragments of the Interval Temporal Logic of Allen’s Relations (Q2938489) (← links)
- On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders (Q2938500) (← links)