Publication:4400800
From MaRDI portal
zbMath0955.03513MaRDI QIDQ4400800
Publication date: 1 March 2001
Related Items
Reasoning on temporal class diagrams: Undecidability results, Axiomatizing the monodic fragment of first-order temporal logic, Evolving objects in temporal information systems, Temporal Logics of Knowledge and their Applications in Security, Foundations of Temporal Conceptual Data Models