scientific article; zbMATH DE number 1536573
From MaRDI portal
Publication:4518442
zbMath0949.68524MaRDI QIDQ4518442
Publication date: 28 November 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (9)
A linear time algorithm for monadic querying of indefinite data over linearly ordered domains ⋮ Undecidability of QLTL and QCTL with two variables and one monadic predicate letter ⋮ The complexity of query evaluation in indefinite temporal constraint databases ⋮ Representation and processing of instantaneous and durative temporal phenomena ⋮ Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting ⋮ Incorporating an implicit time dimension into the relational model and algebra ⋮ Decidable fragments of first-order temporal logics ⋮ Temporal connectives versus explicit timestamps to query temporal databases ⋮ First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries
This page was built for publication:
