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

Rémi Morvan

  1. First-order separation over countable ordinals
    2022/01/09 by Thomas Colcombet, Colcombet, Thomas, Sam van Gool +3 · 1 citation
    Computer Science · #Advanced Algebra and Logic #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #semigroups and automata theory