Pages that link to "Item:Q1128978"
From MaRDI portal
The following pages link to Programming in metric temporal logic (Q1128978):
Displaying 9 items.
- LOGSPACE and PTIME characterized by programming languages (Q1575880) (← links)
- Semantics of temporal constrained objects (Q1996867) (← links)
- Linear time-dependent constraints programming with MSVL (Q2015809) (← links)
- Operational semantics of Framed Tempura (Q2378283) (← links)
- Metric temporal reasoning with less than two clocks (Q2901203) (← links)
- A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING (Q3022009) (← links)
- Axiomatic semantics of projection temporal logic programs (Q3060195) (← links)
- A note on unbounded metric temporal logic over dense time domains (Q3419667) (← links)
- On Metric Temporal Łukasiewicz Logic (Q4982626) (← links)