Yuguo He (School of Computer Science
Identifiers
- name variant Yuguo He (School of Computer Science 0.60 · backfill
Papers (1)
- On the strictness of the quantifier structure hierarchy in first-order logic cs.LO · 2014 · author #1
Mentions
- 1409.7488 #1 · backfill · confidence 0.70 Yuguo He (School of Computer Science
Frequent Coauthors
- Beijing Institute of Technology 1 shared papers
- China) 1 shared papers
- Technology 1 shared papers