The following pages link to (Q4733376):
Displaying 22 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)
- Temporal logic and state systems (Q2517767) (← links)
- Unified temporal logic (Q2661764) (← links)
- From equations to patterns: Logic-based approach to general systems theory (Q3147296) (← links)
- Timed Temporal Logics for Abstracting Transient States (Q3522919) (← links)
- Timing in music and modal temporal logic (Q3630089) (← links)
- (Q3812208) (← links)
- (Q4238497) (← links)
- (Q4246976) (← 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)
- Decidable temporal and sequential relevant logics* (Q4612410) (← links)
- Asymptotic behaviour in temporal logic (Q4635593) (← links)
- (Q4692453) (← links)
- Foundations of linear-time logic programming (Q4876388) (← links)
- Системы временной логики I: моменты, истории, деревья (Q5059703) (← links)
- Temporal reasoning over linear discrete time (Q5236442) (← links)
- Substructure Temporal Logic (Q5271074) (← links)
- (Q5748896) (← links)
- Decidability for a temporal logic used in discrete-event system analysis (Q5752401) (← links)
- A temporal logic for sortals (Q5959761) (← links)
