Executable first-order queries in the logic of information flows

DOI10.46298/lmcs-20(2:6)2024MaRDI QIDQ6563053

Bart Bogaerts, Heba Aamer, Dimitri Surinx, Jan Van den Bussche, Eugenia Ternovska

Publication date: 27 June 2024

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

compositionexpressive powervariable substitutionlimited access pattern

Mathematics Subject Classification ID

Database theory (68P15) Logic in computer science (03B70)

This page was built for publication: Executable first-order queries in the logic of information flows