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

Nao Hirokawa

  1. Automated Complexity Analysis Based on the Dependency Pair Method
    2011/02/15 by Nao Hirokawa, Hirokawa, Nao, Georg Moser +1 · 1 citation
    Computer Science · #Artificial Intelligence (cs.AI) #Computational Complexity (cs.CC) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #cs.AI #cs.CC #cs.LO #cs.PL