Ian Mackie (Ecole Polytechnique)

Identifiers

• name variant Ian Mackie (Ecole Polytechnique) 0.60 · backfill

Papers (1)

1. A new graphical calculus of proofs cs.LO · 2011 · author #3

Mentions

• 1102.2655 #3 · backfill · confidence 0.70 Ian Mackie (Ecole Polytechnique)

Frequent Coauthors

• Maribel Fern\'andez (King's College London) 1 shared papers
• Sandra Alves (University of Porto) 1 shared papers