Pages that link to "Item:Q4383696"
From MaRDI portal
The following pages link to A relational model for temporal logic (Q4383696):
Displaying 7 items.
- Sequential calculus (Q674261) (← links)
- Interpretability of first-order linear temporal logics in fork algebras (Q817582) (← links)
- Models of representation of temporal relations in intelligence decision support systems (Q880742) (← links)
- Exploring an Interface Model for CKA (Q2941164) (← links)
- Dynamic Logic Model of Time Axes in Temporal Database (Q3071454) (← links)
- A homogeneous relational model and query languages for temporal databases (Q3821645) (← links)
- Integrated Formal Methods (Q5901618) (← links)