The following pages link to (Q4708910):
Displayed 7 items.
- Reasoning on temporal class diagrams: Undecidability results (Q862829) (← links)
- Evolving objects in temporal information systems (Q2385447) (← links)
- Mechanising first-order temporal resolution (Q2486579) (← links)
- A Cookbook for Temporal Conceptual Data Modelling with Description Logics (Q2946734) (← links)
- Temporal Verification of Fault-Tolerant Protocols (Q3623816) (← links)
- Foundations of Temporal Conceptual Data Models (Q3637331) (← links)
- DL-Lite with Temporalised Concepts, Rigid Axioms and Roles (Q3655196) (← links)