Pages that link to "Item:Q2946717"
From MaRDI portal
The following pages link to Logical foundations for more expressive declarative temporal logic programming languages (Q2946717):
Displaying 6 items.
- On the expressiveness of temporal logic programming (Q1892870) (← links)
- Logic of temporal attribute implications (Q2364366) (← links)
- Hybrid languages and temporal logic (Q4238499) (← links)
- Foundations of linear-time logic programming (Q4876388) (← links)
- Towards Temporal Contextual Logic Programming (Q5449626) (← links)
- Logic Programming (Q5475789) (← links)