Margherita Zorzi (Laboratoire d\^A'Informatique de Paris-Nord)
Identifiers
- name variant Margherita Zorzi (Laboratoire d\^A'Informatique de Paris-Nord) 0.60 · backfill
Papers (1)
- Interactive Realizability and the elimination of Skolem functions in Peano Arithmetic cs.LO · 2012 · author #3
Mentions
- 1210.3114 #3 · backfill · confidence 0.70 Margherita Zorzi (Laboratoire d\^A'Informatique de Paris-Nord)
Frequent Coauthors
- Federico Aschieri (Lab. PPS 1 shared papers
- Paris 7) 1 shared papers