Executable First-Order Queries in the Logic of Information Flows
From MaRDI portal
Publication:5874357
DOI10.4230/LIPIcs.ICDT.2020.4OpenAlexW3013475633MaRDI QIDQ5874357
Dimitri Surinx, Bart Bogaerts, Heba Aamer, Bussche Jan van Den, Eugenia Ternovska
Publication date: 7 February 2023
Full work available at URL: https://arxiv.org/abs/2210.00240
Related Items (1)
This page was built for publication: Executable First-Order Queries in the Logic of Information Flows