Junfeng Luan

Identifiers

• name variant Junfeng Luan 0.60 · backfill

Papers (2)

1. Implementing program extraction from CL1-proofs cs.LO · 2013 · author #4
2. On the toggling-branching recurrence of Computability Logic cs.LO · 2012 · author #2

Mentions

• 1311.6542 #4 · backfill · confidence 0.70 Junfeng Luan
• 1207.1188 #2 · backfill · confidence 0.70 Junfeng Luan

Frequent Coauthors

• Daming Zhu 2 shared papers
• Meixia Qu 2 shared papers
• Ke Chen 1 shared papers