Natalia Moangă
From MaRDI portal
Person:2035657
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 |
|---|---|---|
| Many-sorted hybrid modal languages Journal of Logical and Algebraic Methods in Programming | 2021-06-25 | Paper |
| A many-sorted polyadic modal logic Fundamenta Informaticae | 2020-11-16 | Paper |
| Operational semantics and program verification using many-sorted hybrid modal logic (available as arXiv preprint) | 2020-05-14 | Paper |
Research outcomes over time
This page was built for person: Natalia Moangă
