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

Hirsch, Robin

  1. The algebra of functions with antidomain and range
    2014/10/15 by Hirsch, Robin, Jackson, Marcel, Mikulás, Szabolcs · 1 citation
    #03G15 #08A02 #20M20 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)