Dimitri Surinx

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Executable first-order queries in the logic of information flows Logical Methods in Computer Science	2024-06-27	Paper
Inputs, Outputs, and Composition in the Logic of Information Flows ACM Transactions on Computational Logic	2023-11-03	Paper
Executable First-Order Queries in the Logic of Information Flows (available as arXiv preprint)	2023-02-07	Paper
scientific article; zbMATH DE number 7561479 (Why is no real title available?)	2022-07-21	Paper
scientific article; zbMATH DE number 7297870 (Why is no real title available?)	2021-01-19	Paper
A framework for comparing query languages in their ability to express Boolean queries Annals of Mathematics and Artificial Intelligence	2019-12-09	Paper
A monotone preservation result for Boolean queries expressed as a containment of conjunctive queries Information Processing Letters	2019-09-20	Paper
Relative expressive power of navigational querying on graphs using transitive closure Logic Journal of the IGPL	2019-01-08	Paper
A framework for comparing query languages in their ability to express Boolean queries Lecture Notes in Computer Science	2018-06-26	Paper
Relative expressive power of navigational querying on graphs Information Sciences	2017-05-16	Paper
Relative expressive power of navigational querying on graphs Information Sciences	2017-05-16	Paper

Research outcomes over time

This page was built for person: Dimitri Surinx