The expressive power of the temporal query language \(L_{\mathcal H}\)
From MaRDI portal
Publication:2822943
zbMATH Open1363.03015MaRDI QIDQ2822943
Lorina Negreanu, Matei Popovici
Publication date: 5 October 2016
Published in: Scientific Bulletin. Series A. Applied Mathematics and Physics. Politehnica University of Bucharest (Search for Journal in Brave)
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Model theory of finite structures (03C13) Descriptive complexity and finite models (68Q19)
Related Items (2)
A homogeneous relational model and query languages for temporal databases ⋮ HMAP --- a temporal data model managing intervals with different granularities and indeterminacy from natural language sentences
This page was built for publication: The expressive power of the temporal query language \(L_{\mathcal H}\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2822943)
