scientific article; zbMATH DE number 1182728

zbMath0955.03513MaRDI QIDQ4400800

David Toman, Jan Chomicki

Publication date: 1 March 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (8)

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

This page was built for publication: