1 citations · 2 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2015★ 1 cited
k variables are needed to define k-Clique in first-order logic
Yuguo He
In an early paper, Immerman raised a proposal on developing model-theoretic techniques to prove lower bounds on ordered structures, which represents a long-standing challenge in fi…
cs.LO2014
On the strictness of the quantifier structure hierarchy in first-order logic
Yuguo He
We study a natural hierarchy in first-order logic, namely the quantifier structure hierarchy, which gives a systematic classification of first-order formulas based on structural qu…