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

Lawrence Wos

  1. Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
    1965/10/01 by Lawrence Wos, L. Wos, George A. Robinson +2 · 9 citations
    Computer Science · #Logic, programming, and type systems #Quantum Computing Algorithms and Architecture #semigroups and automata theory