Datalog with Existential Quantifiers and Temporal Operators (Extended Abstract) (2022)

First Author: Lanzinger M.
Attributed to:  AnaLOG: Datalog Extensions for the Analysis of Static and Streaming Data (Ext.) funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Other

Volume: 3203

Parent Publication: CEUR Workshop Proceedings

ISSN: 16130073