Salim Perchy

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!

PublicationDate of PublicationType
Characterizing right inverses for spatial constraint systems with applications to modal logic
Theoretical Computer Science
2018-09-24Paper
Deriving inverse operators for modal logic
Theoretical Aspects of Computing – ICTAC 2016
2016-12-21Paper
Belief, knowledge, lies and other utterances in an algebra for space and extrusion
Journal of Logical and Algebraic Methods in Programming
2016-11-30Paper


Research outcomes over time


This page was built for person: Salim Perchy