Xuangui Huang

1. Slicewise definability in first-order logic with bounded quantifier rank
   2017/04/11 by Yijia Chen, Chen, Yijia, J. Flum +3 · 2 citations
   Computer Science · #Complexity and Algorithms in Graphs #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #semigroups and automata theory