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

Schindling, Georg

  1. Finite Variable Counting Logics with Restricted Requantification
    2024/11/11 by Raßmann, Simon, Schindling, Georg, Schweitzer, Pascal · 2 citations
    #Computational Complexity (cs.CC) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)