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 |
| Concatenation, separation, and other properties of variably polyadic relations | 2018-06-26 | Paper |
Research outcomes over time
This page was built for person: Heba Aamer
