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

Lehmann, Eveline

  1. Subset models for justification logic
    2019/02/07 by Lehmann, Eveline, Studer, Thomas · 1 citation
    #FOS: Mathematics #Logic (math.LO)