The following pages link to (Q4400800):
Displayed 8 items.
- Reasoning on temporal class diagrams: Undecidability results (Q862829) (← links)
- Axiomatizing the monodic fragment of first-order temporal logic (Q1849866) (← links)
- On coarser interval temporal logics (Q2321249) (← links)
- Evolving objects in temporal information systems (Q2385447) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- Temporal Logics of Knowledge and their Applications in Security (Q2866724) (← links)
- Foundations of Temporal Conceptual Data Models (Q3637331) (← links)
- Dealing with temporal indeterminacy in relational databases: An AI methodology (Q5145453) (← links)