1 citations · 2 across the 3 of their papers we have counts for
1 paper · 1 filter
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…