Heba Aamer
From MaRDI portal
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
