The following pages link to (Q3812209):
Displayed 11 items.
- A cylinder computation model for many-core parallel computing (Q391222) (← links)
- Multimodal logic programming using equational and order-sorted logic (Q1199813) (← links)
- Multi-dimensional logic programming: theoretical foundations (Q1390957) (← links)
- Operational semantics of Framed Tempura (Q2378283) (← links)
- Timed Term Rewrite Systems (Q2841289) (← links)
- Timing in music and modal temporal logic (Q3630089) (← links)
- Temporal Equilibrium Logic with past operators (Q4586227) (← links)
- Temporal abductive reasoning about biochemical reactions (Q4586234) (← 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)
- Temporal representation and reasoning in artificial intelligence: A review (Q5943344) (← links)