首页
探索
nav.journalClub
趋势
更多
Synapse
⌘+K
Synapse
语言
简体中文
简体中文
Xiaokang Qiu | Synapse
XQ
Xiaokang Qiu
Logic, programming, and type systems
Purdue University West Lafayette
Share
Follow
Claim This Profile
About
Research focus
Logic, programming, and type systems
Impact
73 pubs · 1,055 cites · h-index 20
Affiliations
Purdue University West Lafayette
Copperbelt University
Beihang University
See all
Publications