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

Alexey Barsukov

  1. On guarded extensions of MMSNP
    2023/05/07 by Alexey Barsukov, Barsukov, Alexey, Florent Madelaine +1 · 1 citation
    Computer Science · #Advanced Algebra and Logic #Computational Complexity (cs.CC) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #semigroups and automata theory