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

Regaud, Gaëtan

  1. The Complexity of HyperQPTL
    2024/12/10 by Regaud, Gaëtan, Zimmermann, Martin · 2 citations
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)