Volume: Vol-3739 DL 2024 | Year: 2024

Paper: « abstract-2 | abstract-3 | abstract-4 »

On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators (Extended Abstract)

Anton R. Gnatenko ORCID dblp
Vladislav Ryzhikov dblp
Alessandro Artale ORCID dblp Wikidata
Michael Zakharyaschev ORCID dblp