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)

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