Pages that link to "Item:Q1128978"
From MaRDI portal
The following pages link to Programming in metric temporal logic (Q1128978):
Displaying 6 items.
- Semantics of temporal constrained objects (Q1996867) (← links)
- Linear time-dependent constraints programming with MSVL (Q2015809) (← links)
- Operational semantics of Framed Tempura (Q2378283) (← links)
- A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING (Q3022009) (← links)
- Axiomatic semantics of projection temporal logic programs (Q3060195) (← links)
- On Metric Temporal Łukasiewicz Logic (Q4982626) (← links)
