Giselle Reis

Identifiers

• name variant Giselle Reis 0.60 · backfill

Papers (3)

1. Towards the Automated Generation of Focused Proof Systems cs.LO · 2015 · author #2
2. Introducing Quantified Cuts in Logic with Equality cs.LO · 2014 · author #3
3. Algorithmic Introduction of Quantified Cuts cs.LO · 2014 · author #3

Mentions

• 1511.04177 #2 · backfill · confidence 0.70 Giselle Reis
• 1402.2474 #3 · backfill · confidence 0.70 Giselle Reis
• 1401.4330 #3 · backfill · confidence 0.70 Giselle Reis

Frequent Coauthors

• Alexander Leitsch 2 shared papers
• Daniel Weller 2 shared papers
• Stefan Hetzl 2 shared papers
• Janos Tapolczai 1 shared papers
• Leonardo Lima 1 shared papers
• Vivek Nigam 1 shared papers