The following pages link to (Q4733376):
Displaying 10 items.
- The \({\mathcal NU}\) system as a development system for concurrent programs: \(\delta{\mathcal NU}\) (Q1190479) (← links)
- Planning temporal events using point-interval logic (Q2473196) (← links)
- From equations to patterns: Logic-based approach to general systems theory (Q3147296) (← links)
- Timing in music and modal temporal logic (Q3630089) (← links)
- Complexity studies of a temporal constraint propagation algorithm: a statistical analysis (Q4421240) (← links)
- Formal verification of multi-agent systems behaviour emerging from cognitive task analysis (Q4467046) (← links)
- Foundations of linear-time logic programming (Q4876388) (← links)
- Системы временной логики I: моменты, истории, деревья (Q5059703) (← links)
- Temporal reasoning over linear discrete time (Q5236442) (← links)
- Decidability for a temporal logic used in discrete-event system analysis (Q5752401) (← links)
