BibTeX records: Giselle Reis

download as .bib file

@article{DBLP:journals/mscs/FeltyR22,
  author       = {Amy P. Felty and
                  Giselle Reis},
  title        = {Preface to Special Issue: {LSFA} 2019 and 2020},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {32},
  number       = {9},
  pages        = {1117--1118},
  year         = {2022},
  url          = {https://doi.org/10.1017/S0960129523000075},
  doi          = {10.1017/S0960129523000075},
  timestamp    = {Fri, 01 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mscs/FeltyR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/NigamRRR21,
  author       = {Vivek Nigam and
                  Giselle Reis and
                  Samar Rahmouni and
                  Harald Ruess},
  editor       = {Andr{\'{e}} Platzer and
                  Geoff Sutcliffe},
  title        = {Proof Search and Certificates for Evidential Transactions},
  booktitle    = {Automated Deduction - {CADE} 28 - 28th International Conference on
                  Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12699},
  pages        = {234--251},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-79876-5\_14},
  doi          = {10.1007/978-3-030-79876-5\_14},
  timestamp    = {Thu, 29 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/NigamRRR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2107-07661,
  author       = {Giselle Reis},
  editor       = {Elaine Pimentel and
                  Enrico Tassi},
  title        = {Facilitating Meta-Theory Reasoning (Invited Paper)},
  booktitle    = {Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages:
                  Theory and Practice, {LFMTP} 2021, Pittsburgh, USA, 16th July 2021},
  series       = {{EPTCS}},
  volume       = {337},
  pages        = {1--12},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.337.1},
  doi          = {10.4204/EPTCS.337.1},
  timestamp    = {Mon, 26 Jun 2023 20:50:02 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-07661.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2107-07664,
  author       = {Laila El{-}Beheiry and
                  Giselle Reis and
                  Ammar Karkour},
  editor       = {Elaine Pimentel and
                  Enrico Tassi},
  title        = {SMLtoCoq: Automated Generation of Coq Specifications and Proof Obligations
                  from {SML} Programs with Contracts},
  booktitle    = {Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages:
                  Theory and Practice, {LFMTP} 2021, Pittsburgh, USA, 16th July 2021},
  series       = {{EPTCS}},
  volume       = {337},
  pages        = {71--87},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.337.6},
  doi          = {10.4204/EPTCS.337.6},
  timestamp    = {Mon, 29 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-07664.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/ReisNH20,
  author       = {Giselle Reis and
                  Zan Naeem and
                  Mohammed Hashim},
  editor       = {Nicolas Peltier and
                  Viorica Sofronie{-}Stokkermans},
  title        = {Sequoia: {A} Playground for Logicians - (System Description)},
  booktitle    = {Automated Reasoning - 10th International Joint Conference, {IJCAR}
                  2020, Paris, France, July 1-4, 2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12167},
  pages        = {480--488},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-51054-1\_32},
  doi          = {10.1007/978-3-030-51054-1\_32},
  timestamp    = {Thu, 06 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/ReisNH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lsfa/NalonR20,
  author       = {Cl{\'{a}}udia Nalon and
                  Giselle Reis},
  editor       = {Cl{\'{a}}udia Nalon and
                  Giselle Reis},
  title        = {Preface},
  booktitle    = {Proceedings of the 15th International Workshop on Logical and Semantic
                  Frameworks with Applications, {LSFA} 2020, Online, September 15, 2020},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {351},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.entcs.2020.08.001},
  doi          = {10.1016/J.ENTCS.2020.08.001},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lsfa/NalonR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/lsfa/2020,
  editor       = {Cl{\'{a}}udia Nalon and
                  Giselle Reis},
  title        = {Proceedings of the 15th International Workshop on Logical and Semantic
                  Frameworks with Applications, {LSFA} 2020, Online, September 15, 2020},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {351},
  publisher    = {Elsevier},
  year         = {2020},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/351/suppl/C},
  timestamp    = {Fri, 16 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lsfa/2020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/EbnerHLRW19,
  author       = {Gabriel Ebner and
                  Stefan Hetzl and
                  Alexander Leitsch and
                  Giselle Reis and
                  Daniel Weller},
  title        = {On the Generation of Quantified Lemmas},
  journal      = {J. Autom. Reason.},
  volume       = {63},
  number       = {1},
  pages        = {95--126},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10817-018-9462-8},
  doi          = {10.1007/S10817-018-9462-8},
  timestamp    = {Fri, 04 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/EbnerHLRW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mscs/ReisP19,
  author       = {Giselle Reis and
                  Bruno Woltzenlogel Paleo},
  title        = {Complexity of translations from resolution to sequent calculus},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {29},
  number       = {8},
  pages        = {1061--1091},
  year         = {2019},
  url          = {https://doi.org/10.1017/S0960129518000476},
  doi          = {10.1017/S0960129518000476},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/ReisP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/ChaudhuriLR19,
  author       = {Kaustuv Chaudhuri and
                  Leonardo Lima and
                  Giselle Reis},
  title        = {Formalized meta-theory of sequent calculi for linear logics},
  journal      = {Theor. Comput. Sci.},
  volume       = {781},
  pages        = {24--38},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.tcs.2019.02.023},
  doi          = {10.1016/J.TCS.2019.02.023},
  timestamp    = {Fri, 14 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/ChaudhuriLR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1908-08639,
  editor       = {Giselle Reis and
                  Haniel Barbosa},
  title        = {Proceedings Sixth Workshop on Proof eXchange for Theorem Proving,
                  PxTP 2019, Natal, Brazil, August 26, 2019},
  series       = {{EPTCS}},
  volume       = {301},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.301},
  doi          = {10.4204/EPTCS.301},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1908-08639.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1904-06844,
  author       = {Iliano Cervesato and
                  Sharjeel Khan and
                  Giselle Reis and
                  Dragisa Zunic},
  editor       = {Thomas Ehrhard and
                  Maribel Fern{\'{a}}ndez and
                  Valeria de Paiva and
                  Lorenzo Tortora de Falco},
  title        = {Formalization of Automated Trading Systems in a Concurrent Linear
                  Framework},
  booktitle    = {Proceedings Joint International Workshop on Linearity {\&} Trends
                  in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford,
                  UK, 7-8 July 2018},
  series       = {{EPTCS}},
  volume       = {292},
  pages        = {1--14},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.292.1},
  doi          = {10.4204/EPTCS.292.1},
  timestamp    = {Wed, 29 May 2019 13:01:26 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1904-06844.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1904-06850,
  author       = {Carlos Olarte and
                  Valeria de Paiva and
                  Elaine Pimentel and
                  Giselle Reis},
  editor       = {Thomas Ehrhard and
                  Maribel Fern{\'{a}}ndez and
                  Valeria de Paiva and
                  Lorenzo Tortora de Falco},
  title        = {The {ILLTP} Library for Intuitionistic Linear Logic},
  booktitle    = {Proceedings Joint International Workshop on Linearity {\&} Trends
                  in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford,
                  UK, 7-8 July 2018},
  series       = {{EPTCS}},
  volume       = {292},
  pages        = {118--132},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.292.7},
  doi          = {10.4204/EPTCS.292.7},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1904-06850.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1807-01352,
  editor       = {Fr{\'{e}}d{\'{e}}ric Blanqui and
                  Giselle Reis},
  title        = {Proceedings of the 13th International Workshop on Logical Frameworks
                  and Meta-Languages: Theory and Practice, LFMTP@FSCD 2018, Oxford,
                  UK, 7th July 2018},
  series       = {{EPTCS}},
  volume       = {274},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.274},
  doi          = {10.4204/EPTCS.274},
  timestamp    = {Mon, 10 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1807-01352.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/CernaLRW17,
  author       = {David M. Cerna and
                  Alexander Leitsch and
                  Giselle Reis and
                  Simon Wolfsteiner},
  title        = {Ceres in intuitionistic logic},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {168},
  number       = {10},
  pages        = {1783--1836},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.apal.2017.04.001},
  doi          = {10.1016/J.APAL.2017.04.001},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/CernaLRW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/flap/PaleoR17,
  author       = {Bruno Woltzenlogel Paleo and
                  Giselle Reis},
  title        = {Epsilon Terms in Intuitionistic Sequent Calculus},
  journal      = {{FLAP}},
  volume       = {4},
  number       = {2},
  year         = {2017},
  url          = {http://www.collegepublications.co.uk/downloads/ifcolog00011.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/PaleoR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/XavierORN18,
  author       = {Bruno Xavier and
                  Carlos Olarte and
                  Giselle Reis and
                  Vivek Nigam},
  editor       = {Sandra Alves and
                  Renata Wasserman},
  title        = {Mechanizing Focused Linear Logic in Coq},
  booktitle    = {12th Workshop on Logical and Semantic Frameworks, with Applications,
                  {LSFA} 2017, Bras{\'{\i}}lia, Brazil, September 23-24, 2017},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {338},
  pages        = {219--236},
  publisher    = {Elsevier},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.entcs.2018.10.014},
  doi          = {10.1016/J.ENTCS.2018.10.014},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/XavierORN18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/logcom/NigamPR16,
  author       = {Vivek Nigam and
                  Elaine Pimentel and
                  Giselle Reis},
  title        = {An extended framework for specifying and reasoning about proof systems},
  journal      = {J. Log. Comput.},
  volume       = {26},
  number       = {2},
  pages        = {539--576},
  year         = {2016},
  url          = {https://doi.org/10.1093/logcom/exu029},
  doi          = {10.1093/LOGCOM/EXU029},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/logcom/NigamPR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/EbnerHRRWZ16,
  author       = {Gabriel Ebner and
                  Stefan Hetzl and
                  Giselle Reis and
                  Martin Riener and
                  Simon Wolfsteiner and
                  Sebastian Zivota},
  editor       = {Nicola Olivetti and
                  Ashish Tiwari},
  title        = {System Description: {GAPT} 2.0},
  booktitle    = {Automated Reasoning - 8th International Joint Conference, {IJCAR}
                  2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9706},
  pages        = {293--301},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-40229-1\_20},
  doi          = {10.1007/978-3-319-40229-1\_20},
  timestamp    = {Mon, 26 Jun 2023 20:45:22 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/EbnerHRRWZ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ChaudhuriLR17,
  author       = {Kaustuv Chaudhuri and
                  Leonardo Lima and
                  Giselle Reis},
  editor       = {Vivek Nigam and
                  M{\'{a}}rio Florido},
  title        = {Formalized Meta-Theory of Sequent Calculi for Substructural Logics},
  booktitle    = {11th Workshop on Logical and Semantic Frameworks with Applications,
                  {LSFA} 2016, Porto, Portugal, January 1, 2016},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {332},
  pages        = {57--73},
  publisher    = {Elsevier},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.entcs.2017.04.005},
  doi          = {10.1016/J.ENTCS.2017.04.005},
  timestamp    = {Mon, 01 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/ChaudhuriLR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/BaazLR15,
  author       = {Matthias Baaz and
                  Alexander Leitsch and
                  Giselle Reis},
  title        = {A Note on the Complexity of Classical and Intuitionistic Proofs},
  booktitle    = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
                  2015, Kyoto, Japan, July 6-10, 2015},
  pages        = {657--666},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/LICS.2015.66},
  doi          = {10.1109/LICS.2015.66},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/BaazLR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/ChaudhuriR15,
  author       = {Kaustuv Chaudhuri and
                  Giselle Reis},
  editor       = {Martin Davis and
                  Ansgar Fehnker and
                  Annabelle McIver and
                  Andrei Voronkov},
  title        = {An Adequate Compositional Encoding of Bigraph Structure in Linear
                  Logic with Subexponentials},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th
                  International Conference, {LPAR-20} 2015, Suva, Fiji, November 24-28,
                  2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9450},
  pages        = {146--161},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-48899-7\_11},
  doi          = {10.1007/978-3-662-48899-7\_11},
  timestamp    = {Mon, 03 Jan 2022 22:31:30 +0100},
  biburl       = {https://dblp.org/rec/conf/lpar/ChaudhuriR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/ChihaniLR15,
  author       = {Zakaria Chihani and
                  Tomer Libal and
                  Giselle Reis},
  editor       = {Hans de Nivelle},
  title        = {The Proof Certifier Checkers},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 24th
                  International Conference, {TABLEAUX} 2015, Wroc{\l}aw, Poland, September
                  21-24, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9323},
  pages        = {201--210},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-24312-2\_14},
  doi          = {10.1007/978-3-319-24312-2\_14},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/ChihaniLR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/NigamRL15,
  author       = {Vivek Nigam and
                  Giselle Reis and
                  Leonardo Lima},
  editor       = {Iliano Cervesato and
                  Carsten Sch{\"{u}}rmann},
  title        = {Towards the Automated Generation of Focused Proof Systems},
  booktitle    = {Proceedings First International Workshop on Focusing, WoF 2015, Suva,
                  Fiji, 23rd November 2015},
  series       = {{EPTCS}},
  volume       = {197},
  pages        = {1--6},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.197.1},
  doi          = {10.4204/EPTCS.197.1},
  timestamp    = {Mon, 01 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/NigamRL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Reis15,
  author       = {Giselle Reis},
  editor       = {Cezary Kaliszyk and
                  Andrei Paskevich},
  title        = {Importing {SMT} and Connection proofs as expansion trees},
  booktitle    = {Proceedings Fourth Workshop on Proof eXchange for Theorem Proving,
                  PxTP 2015, Berlin, Germany, August 2-3, 2015},
  series       = {{EPTCS}},
  volume       = {186},
  pages        = {3--10},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.186.3},
  doi          = {10.4204/EPTCS.186.3},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Reis15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/HetzlLRW14,
  author       = {Stefan Hetzl and
                  Alexander Leitsch and
                  Giselle Reis and
                  Daniel Weller},
  title        = {Algorithmic introduction of quantified cuts},
  journal      = {Theor. Comput. Sci.},
  volume       = {549},
  pages        = {1--16},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.tcs.2014.05.018},
  doi          = {10.1016/J.TCS.2014.05.018},
  timestamp    = {Fri, 04 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/HetzlLRW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/HetzlLRTW14,
  author       = {Stefan Hetzl and
                  Alexander Leitsch and
                  Giselle Reis and
                  Janos Tapolczai and
                  Daniel Weller},
  editor       = {St{\'{e}}phane Demri and
                  Deepak Kapur and
                  Christoph Weidenbach},
  title        = {Introducing Quantified Cuts in Logic with Equality},
  booktitle    = {Automated Reasoning - 7th International Joint Conference, {IJCAR}
                  2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
                  Austria, July 19-22, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8562},
  pages        = {240--254},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-08587-6\_17},
  doi          = {10.1007/978-3-319-08587-6\_17},
  timestamp    = {Fri, 04 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/HetzlLRTW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/NigamRL14,
  author       = {Vivek Nigam and
                  Giselle Reis and
                  Leonardo Lima},
  editor       = {St{\'{e}}phane Demri and
                  Deepak Kapur and
                  Christoph Weidenbach},
  title        = {Quati: An Automated Tool for Proving Permutation Lemmas},
  booktitle    = {Automated Reasoning - 7th International Joint Conference, {IJCAR}
                  2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
                  Austria, July 19-22, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8562},
  pages        = {255--261},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-08587-6\_18},
  doi          = {10.1007/978-3-319-08587-6\_18},
  timestamp    = {Mon, 01 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/NigamRL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/HetzlLRW14,
  author       = {Stefan Hetzl and
                  Alexander Leitsch and
                  Giselle Reis and
                  Daniel Weller},
  title        = {Algorithmic Introduction of Quantified Cuts},
  journal      = {CoRR},
  volume       = {abs/1401.4330},
  year         = {2014},
  url          = {http://arxiv.org/abs/1401.4330},
  eprinttype    = {arXiv},
  eprint       = {1401.4330},
  timestamp    = {Fri, 04 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/HetzlLRW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/HetzlLRTW14,
  author       = {Stefan Hetzl and
                  Alexander Leitsch and
                  Giselle Reis and
                  Janos Tapolczai and
                  Daniel Weller},
  title        = {Introducing Quantified Cuts in Logic with Equality},
  journal      = {CoRR},
  volume       = {abs/1402.2474},
  year         = {2014},
  url          = {http://arxiv.org/abs/1402.2474},
  eprinttype    = {arXiv},
  eprint       = {1402.2474},
  timestamp    = {Fri, 04 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/HetzlLRTW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tplp/NigamRL13,
  author       = {Vivek Nigam and
                  Giselle Reis and
                  Leonardo Lima},
  title        = {Checking Proof Transformations with {ASP}},
  journal      = {Theory Pract. Log. Program.},
  volume       = {13},
  number       = {4-5-Online-Supplement},
  year         = {2013},
  url          = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013007.pdf},
  timestamp    = {Fri, 14 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tplp/NigamRL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/LeitschRP12,
  author       = {Alexander Leitsch and
                  Giselle Reis and
                  Bruno Woltzenlogel Paleo},
  editor       = {Patrick C{\'{e}}gielski and
                  Arnaud Durand},
  title        = {Towards CERes in intuitionistic logic},
  booktitle    = {Computer Science Logic (CSL'12) - 26th International Workshop/21st
                  Annual Conference of the EACSL, {CSL} 2012, September 3-6, 2012, Fontainebleau,
                  France},
  series       = {LIPIcs},
  volume       = {16},
  pages        = {485--499},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2012},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2012.485},
  doi          = {10.4230/LIPICS.CSL.2012.485},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/csl/LeitschRP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/NigamPR11,
  author       = {Vivek Nigam and
                  Elaine Pimentel and
                  Giselle Reis},
  editor       = {Edward Hermann Haeusler and
                  Luis Fari{\~{n}}as del Cerro},
  title        = {Specifying Proof Systems in Linear Logic with Subexponentials},
  booktitle    = {Proceedings of the Fifth Logical and Semantic Frameworks, with Applications
                  Workshop, {LSFA} 2010, Natal, Brazil, August 31, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {269},
  pages        = {109--123},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2011.03.009},
  doi          = {10.1016/J.ENTCS.2011.03.009},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/NigamPR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.