Name Card

Full name Familienname, Vorname
Machado Nogueira Reis, Giselle
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-14 of 14 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Cerna, David ; Leitsch, Alexander ; Reis, Giselle ; Wolfsteiner, Simon Peter Ceres in intuitionistic logicArtikel Article Oct-2017
2Ebner, Gabriel ; Hetzl, Stefan ; Reis, Giselle ; Riener, Martin ; Wolfsteiner, Simon Peter ; Zivota, Sebastian System Description: GAPT 2.0Konferenzbeitrag Inproceedings 12-Jun-2016
3Leitsch, Alexander ; Baaz, Matthias ; Reis, Giselle A Note on the Complexity of Classical and Intuitionistic ProofsKonferenzbeitrag Inproceedings2015
4Reis, Giselle Quati: An Automated Tool for Proving Permutation LemmasKonferenzbeitrag Inproceedings 2014
5Hetzl, Stefan ; Leitsch, Alexander ; Reis, Giselle ; Tapolczai, Janos ; Weller, Daniel Introducing Quantified Cuts in Logic with EqualityKonferenzbeitrag Inproceedings 2014
6Hetzl, Stefan ; Reis, Giselle ; Weller, Daniel Algorithmic Introduction of Quantified CutsPreprint Preprint2014
7Hetzl, Stefan ; Leitsch, Alexander ; Reis, Giselle ; Weller, Daniel Algorithmic introduction of quantified cutsArtikel Article2014
8Leitsch, Alexander ; Hetzl, Stefan ; Reis, Giselle ; Weller, Daniel Introducing Quantified Cuts in Logic with EqualityPreprint Preprint2014
9Machado Nogueira Reis Giselle - 2014 - Cut-elimination by resolution in...pdf.jpgMachado Nogueira Reis, Giselle Cut-elimination by resolution in intuitionistic logicThesis Hochschulschrift 2014
10Reis, Giselle Towards CERES in intuitionistic logicPräsentation Presentation2013
11Reis, Giselle Cut-Introduction: GAPT System DemonstrationPräsentation Presentation2013
12Reis, Giselle A framework for specifying and reasoning in sequent calculus systemsPräsentation Presentation2013
13Reis, Giselle Checking Proof Transformations with ASPPräsentation Presentation2013
14Leitsch, Alexander ; Reis, Giselle ; Woltzenlogel-Paleo, Bruno Towards CERes in intuitionistic logicKonferenzbeitrag Inproceedings2012

Contributing Publications Mitbeteiligte Publikationen

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Spoerk Christoph Wolfgang - 2015 - Algorithms for quantified cut-introduction.pdf.jpgSpörk, Christoph Wolfgang Algorithms for quantified cut-introductionThesis Hochschulschrift 2015