Cl\'audia Nalon (Department of Computer Science

Identifiers

• name variant Cl\'audia Nalon (Department of Computer Science 0.60 · backfill

Papers (1)

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

Mentions

• 1404.0841 #1 · backfill · confidence 0.70 Cl\'audia Nalon (Department of Computer Science

Frequent Coauthors

• Brazil) 1 shared papers
• Business 1 shared papers
• China) 1 shared papers
• Clare Dixon (Department of Computer Science 1 shared papers
• Lan Zhang (Information School Capital University of Economics 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