The following pages link to (Q4400800):
Displayed 5 items.
- Reasoning on temporal class diagrams: Undecidability results (Q862829) (← links)
- Axiomatizing the monodic fragment of first-order temporal logic (Q1849866) (← links)
- Evolving objects in temporal information systems (Q2385447) (← links)
- Temporal Logics of Knowledge and their Applications in Security (Q2866724) (← links)
- Foundations of Temporal Conceptual Data Models (Q3637331) (← links)