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

Craig Alan Feinstein

  1. Machine-Checked Formalization of Earlier Arguments on ℙ versus \mathbbNP Using Isabelle/HOL
    2003/10/31 by Craig Alan Feinstein, Feinstein, Craig Alan · 1 voice
    Computer Science · Engineering · #Cellular Automata and Applications #Computability, Logic, AI Algorithms #Computational Complexity (cs.CC) #FOS: Computer and information sciences #cs.CC #graph theory and CDMA systems