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

Claudio Vaucheret

  1. More Precise Yet Efficient Type Inference for Logic Programs
    2002/07/11 by Claudio A. Vaucheret, Claudio Vaucheret, Vaucheret, Claudio +2 · 1 citation
    Computer Science · #D.1.6 #D.2.5 #D.2.6 #F.4.1 #FOS: Computer and information sciences #Formal Methods in Verification #I.2.3 #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Software Engineering (cs.SE) #cs.SE