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

Jancar, Petr

  1. A concise proof of Commoner's theorem
    2024/01/22 by Jancar, Petr · 1 citation
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)