scientific article; zbMATH DE number 7744947

DOI10.4230/LIPICS.TIME.2021.4MaRDI QIDQ6080263zbMATH OpenFDO

Authors Alfredo Cuzzocrea

Publication date 2 October 2023

Full work available at URL https://doi.org/10.4230/LIPICS.TIME.2021.4

zbMATH Keywords

big data analyticsbig data managementtemporal big data analyticstemporal big data management

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27)

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 Q6080263)