Bahar Aameri

From MaRDI portal
Person:3007569



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!

PublicationDate of PublicationType
Reducible Theories and Amalgamations of Models
ACM Transactions on Computational Logic
2023-02-07Paper
A Representation Theorem for Change through Composition of Activities
ACM Transactions on Computational Logic
2019-11-22Paper
A new perspective on the mereotopology of RCC82018-08-13Paper
A first-order calculus for allegories
Relational and Algebraic Methods in Computer Science
2011-06-17Paper


Research outcomes over time


This page was built for person: Bahar Aameri