2009 | ||
---|---|---|
3 | EE | Angsheng Li, Weilin Li, Yicheng Pan, Linqing Tang: Principal filters definable by parameters in EbT. Mathematical Structures in Computer Science 19(1): 153-167 (2009) |
2008 | ||
2 | EE | Angsheng Li, Weilin Li, Yicheng Pan, Linqing Tang: Definable Filters in the Structure of Bounded Turing Reductions. TAMC 2008: 116-124 |
1 | EE | Paul Brodhead, Angsheng Li, Weilin Li: Continuity of capping in CbT. Ann. Pure Appl. Logic 155(1): 1-15 (2008) |
1 | Paul Brodhead | [1] |
2 | Angsheng Li | [1] [2] [3] |
3 | Yicheng Pan | [2] [3] |
4 | Linqing Tang | [2] [3] |