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

de Carvalho-Segundo, Washington

  1. Nominal C-Unification
    2017/09/15 by Ayala-Rincón, Mauricio, de Carvalho-Segundo, Washington, Fernández, Maribel +1 · 1 citation
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)