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

Salvatore, Felipe

  1. First-order justification logic with constant domain semantics
    2018/08/29 by Fitting, Melvin, Salvatore, Felipe · 1 citation
    #03B45 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)