![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Giselle Reis
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [j9]Amy P. Felty, Giselle Reis
:
Preface to Special Issue: LSFA 2019 and 2020. Math. Struct. Comput. Sci. 32(9): 1117-1118 (2022) - 2021
- [c19]Vivek Nigam
, Giselle Reis
, Samar Rahmouni
, Harald Ruess
:
Proof Search and Certificates for Evidential Transactions. CADE 2021: 234-251 - [c18]Giselle Reis:
Facilitating Meta-Theory Reasoning (Invited Paper). LFMTP 2021: 1-12 - [c17]Laila El-Beheiry, Giselle Reis, Ammar Karkour:
SMLtoCoq: Automated Generation of Coq Specifications and Proof Obligations from SML Programs with Contracts. LFMTP 2021: 71-87 - 2020
- [c16]Giselle Reis
, Zan Naeem, Mohammed Hashim:
Sequoia: A Playground for Logicians - (System Description). IJCAR (2) 2020: 480-488 - [c15]Cláudia Nalon, Giselle Reis:
Preface. LSFA 2020: 1-2 - [e3]Cláudia Nalon, Giselle Reis:
Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, LSFA 2020, Online, September 15, 2020. Electronic Notes in Theoretical Computer Science 351, Elsevier 2020 [contents]
2010 – 2019
- 2019
- [j8]Gabriel Ebner, Stefan Hetzl
, Alexander Leitsch, Giselle Reis, Daniel Weller:
On the Generation of Quantified Lemmas. J. Autom. Reason. 63(1): 95-126 (2019) - [j7]Giselle Reis
, Bruno Woltzenlogel Paleo:
Complexity of translations from resolution to sequent calculus. Math. Struct. Comput. Sci. 29(8): 1061-1091 (2019) - [j6]Kaustuv Chaudhuri
, Leonardo Lima, Giselle Reis
:
Formalized meta-theory of sequent calculi for linear logics. Theor. Comput. Sci. 781: 24-38 (2019) - [e2]Giselle Reis, Haniel Barbosa
:
Proceedings Sixth Workshop on Proof eXchange for Theorem Proving, PxTP 2019, Natal, Brazil, August 26, 2019. EPTCS 301, 2019 [contents] - 2018
- [c14]Iliano Cervesato, Sharjeel Khan, Giselle Reis, Dragisa Zunic:
Formalization of Automated Trading Systems in a Concurrent Linear Framework. Linearity-TLLA@FLoC 2018: 1-14 - [c13]Carlos Olarte
, Valeria de Paiva
, Elaine Pimentel
, Giselle Reis:
The ILLTP Library for Intuitionistic Linear Logic. Linearity-TLLA@FLoC 2018: 118-132 - [e1]Frédéric Blanqui, Giselle Reis:
Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2018, Oxford, UK, 7th July 2018. EPTCS 274, 2018 [contents] - 2017
- [j5]David M. Cerna
, Alexander Leitsch, Giselle Reis, Simon Wolfsteiner
:
Ceres in intuitionistic logic. Ann. Pure Appl. Log. 168(10): 1783-1836 (2017) - [j4]Bruno Woltzenlogel Paleo, Giselle Reis:
Epsilon Terms in Intuitionistic Sequent Calculus. FLAP 4(2) (2017) - [c12]Bruno Xavier, Carlos Olarte
, Giselle Reis, Vivek Nigam
:
Mechanizing Focused Linear Logic in Coq. LSFA 2017: 219-236 - 2016
- [j3]Vivek Nigam
, Elaine Pimentel
, Giselle Reis:
An extended framework for specifying and reasoning about proof systems. J. Log. Comput. 26(2): 539-576 (2016) - [c11]Gabriel Ebner, Stefan Hetzl
, Giselle Reis, Martin Riener
, Simon Wolfsteiner
, Sebastian Zivota:
System Description: GAPT 2.0. IJCAR 2016: 293-301 - [c10]Kaustuv Chaudhuri, Leonardo Lima
, Giselle Reis:
Formalized Meta-Theory of Sequent Calculi for Substructural Logics. LSFA 2016: 57-73 - 2015
- [c9]Matthias Baaz
, Alexander Leitsch, Giselle Reis:
A Note on the Complexity of Classical and Intuitionistic Proofs. LICS 2015: 657-666 - [c8]Kaustuv Chaudhuri, Giselle Reis:
An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials. LPAR 2015: 146-161 - [c7]Zakaria Chihani, Tomer Libal
, Giselle Reis:
The Proof Certifier Checkers. TABLEAUX 2015: 201-210 - [c6]Vivek Nigam
, Giselle Reis, Leonardo Lima
:
Towards the Automated Generation of Focused Proof Systems. WoF'15 2015: 1-6 - [c5]Giselle Reis:
Importing SMT and Connection proofs as expansion trees. PxTP@CADE 2015: 3-10 - 2014
- [j2]Stefan Hetzl
, Alexander Leitsch, Giselle Reis, Daniel Weller:
Algorithmic introduction of quantified cuts. Theor. Comput. Sci. 549: 1-16 (2014) - [c4]Stefan Hetzl
, Alexander Leitsch, Giselle Reis, Janos Tapolczai, Daniel Weller:
Introducing Quantified Cuts in Logic with Equality. IJCAR 2014: 240-254 - [c3]Vivek Nigam, Giselle Reis, Leonardo Lima
:
Quati: An Automated Tool for Proving Permutation Lemmas. IJCAR 2014: 255-261 - [i2]Stefan Hetzl, Alexander Leitsch, Giselle Reis, Daniel Weller:
Algorithmic Introduction of Quantified Cuts. CoRR abs/1401.4330 (2014) - [i1]Stefan Hetzl, Alexander Leitsch, Giselle Reis, Janos Tapolczai, Daniel Weller:
Introducing Quantified Cuts in Logic with Equality. CoRR abs/1402.2474 (2014) - 2013
- [j1]Vivek Nigam, Giselle Reis, Leonardo Lima:
Checking Proof Transformations with ASP. Theory Pract. Log. Program. 13(4-5-Online-Supplement) (2013) - 2012
- [c2]Alexander Leitsch, Giselle Reis, Bruno Woltzenlogel Paleo:
Towards CERes in intuitionistic logic. CSL 2012: 485-499 - 2010
- [c1]Vivek Nigam, Elaine Pimentel
, Giselle Reis:
Specifying Proof Systems in Linear Logic with Subexponentials. LSFA 2010: 109-123
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint