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

L. Gordeev

  1. NP vs PSPACE
    2016/09/30 by Lew Gordeev, L. Gordeev, Edward Hermann Haeusler +3 · 3 voices
    Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Advanced Algebra and Logic