New
Every arXiv paper, its researchers & institutions — mapped.
◍
wove
paper
Search
Papers
Researchers
Institutions
Sign in
papers
Publications (2)
cs.LO
2013
Implementing program extraction from CL1-proofs
Meixia Qu, Ke Chen, Daming Zhu +1
cs.LO
2012
On the toggling-branching recurrence of Computability Logic
Meixia Qu, Junfeng Luan, Daming Zhu