vix.ing · top · new · best · stats · spec

Kimmel, Pierre

  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)