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

Yoshiki Nakamura

  1. Guarded Negation Transitive Closure Logic
    2025/01/25 by Diego Figueira, Santiago Figueira, Nakamura, Yoshiki +1 · 1 citation
    #cs.LO #cs.DB