Didier Galmiche

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Tableaux and resource graphs for separation logic

Didier Galmiche and others (2010) · Journal of Logic and Computation

The Undecidability of Boolean BI through Phase Semantics

Dominique Larchey-Wendling and others (2010) · 2010 25th Annual IEEE Symposium on Logic in Computer Science · IEEE

Expressivity properties of Boolean BI through relational models

Didier Galmiche and others (2006) · 26th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS) · Springer