scientific article; zbMATH DE number 1182728

zbMATH Open0955.03513MaRDI QIDQ4400800

David Toman, Jan Chomicki

Publication date: 1 March 2001

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Database theory (68P15) Temporal logic (03B44) Logic in computer science (03B70)

Cited In (9)

• A survey on temporal logics for specifying and verifying real-time systems
• Axiomatizing the monodic fragment of first-order temporal logic
• Reasoning on temporal class diagrams: Undecidability results
• On coarser interval temporal logics
• Databases and artificial intelligence
• Dealing with temporal indeterminacy in relational databases: An AI methodology
• Foundations of Temporal Conceptual Data Models
• Evolving objects in temporal information systems
• Temporal logics of knowledge and their applications in security

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4400800)