Lan Zhang (Information School Capital University of Economics

Identifiers

• name variant Lan Zhang (Information School Capital University of Economics 0.60 · backfill

Papers (1)

1. A Resolution Prover for Coalition Logic cs.LO · 2014 · author #4

Mentions

• 1404.0841 #4 · backfill · confidence 0.70 Lan Zhang (Information School Capital University of Economics

Frequent Coauthors

• Brazil) 1 shared papers
• Business 1 shared papers
• China) 1 shared papers
• Clare Dixon (Department of Computer Science 1 shared papers
• Cl\'audia Nalon (Department of Computer Science 1 shared papers
• UK) 1 shared papers
• Ullrich Hustadt (Department of Computer Science 1 shared papers
• University of Bras\'ilia 1 shared papers
• University of Liverpool 1 shared papers