The following pages link to Logic Programming (Q5475789):
Displaying 6 items.
- A temporal programming model with atomic blocks based on projection temporal logic (Q1633057) (← links)
- A decision procedure and complete axiomatization for projection temporal logic (Q1986563) (← links)
- Operational semantics of Framed Tempura (Q2378283) (← links)
- Model checking of pushdown systems for projection temporal logic (Q2424879) (← links)
- Framed temporal logic programming (Q2469157) (← links)
- Semantics for temporal annotated constraint logic programming (Q2701986) (← links)