Galmiche, Didier

1. A Substructural Epistemic Resource Logic: Theory and Modelling Applications
   2019/09/16 by Galmiche, Didier, Kimmel, Pierre, Pym, David · 1 citation
   #03B42 #03B47 #03B70 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
2. Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning
   2024/01/29 by Galmiche, Didier, Lang, Timo, Pym, David · 2 citations
   #68Q60 #F.3.0 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)