Chunping Cao

Identifiers

• name variant Chunping Cao 0.60 · backfill

Papers (1)

1. Minimizing Deduction System and its Application cs.LO · 2020 · author #4

Mentions

• 2006.05833 #4 · arxiv_oai · confidence 0.70 Chunping Cao

Frequent Coauthors

• Xiutao Feng 1 shared papers
• Zhangyi Wang 1 shared papers
• Zhe Cen 1 shared papers