Travelled to:1 × Austria
1 × France
1 × Japan
Collaborated with:A.Leitsch S.Hetzl M.Baaz V.Nigam L.Lima B.W.Paleo J.Tapolczai D.Weller G.Ebner M.Riener S.Wolfsteiner S.Zivota
Talks about:intuitionist (2) logic (2) quantifi (1) introduc (1) descript (1) complex (1) classic (1) toward (1) system (1) permut (1)
Person: Giselle Reis
DBLP: Reis:Giselle
Contributed to:
2015
2014
20122016Wrote 5 papers:
- LICS-2015-BaazLR #complexity #proving
- A Note on the Complexity of Classical and Intuitionistic Proofs (MB, AL, GR), pp. 657–666.
- IJCAR-2014-HetzlLRTW #logic #quantifier #similarity
- Introducing Quantified Cuts in Logic with Equality (SH, AL, GR, JT, DW), pp. 240–254.
- IJCAR-2014-NigamRL #automation #named #permutation #proving
- Quati: An Automated Tool for Proving Permutation Lemmas (VN, GR, LL), pp. 255–261.
- CSL-2012-LeitschRP #logic #towards
- Towards CERes in intuitionistic logic (AL, GR, BWP), pp. 485–499.
- IJCAR-2016-EbnerHRRWZ
- System Description: GAPT 2.0 (GE, SH, GR, MR, SW, SZ), pp. 293–301.