Follow
Giselle Reis
Giselle Reis
Verified email at cmu.edu - Homepage
Title
Cited by
Cited by
Year
An extended framework for specifying and reasoning about proof systems
V Nigam, E Pimentel, G Reis
Journal of Logic and Computation 26 (2), 539-576, 2016
482016
System description: GAPT 2.0
G Ebner, S Hetzl, G Reis, M Riener, S Wolfsteiner, S Zivota
International Joint Conference on Automated Reasoning, 293-301, 2016
432016
Algorithmic introduction of quantified cuts
S Hetzl, A Leitsch, G Reis, D Weller
Theoretical Computer Science 549, 1-16, 2014
402014
Introducing quantified cuts in logic with equality
S Hetzl, A Leitsch, G Reis, J Tapolczai, D Weller
Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as …, 2014
292014
Specifying proof systems in linear logic with subexponentials
V Nigam, E Pimentel, G Reis
Electronic Notes in Theoretical Computer Science 269, 109-123, 2011
262011
Mechanizing Focused Linear Logic in Coq
B Xavier, C Olarte, G Reis, V Nigam
Electronic Notes in Theoretical Computer Science 338, 219-236, 2018
222018
The Proof Certifier Checkers
Z Chihani, T Libal, G Reis
Automated Reasoning with Analytic Tableaux and Related Methods: 24th …, 2015
222015
Formalized meta-theory of sequent calculi for substructural logics
K Chaudhuri, L Lima, G Reis
Electronic Notes in Theoretical Computer Science 332, 57-73, 2017
182017
Importing SMT and Connection proofs as expansion trees
G Reis
arXiv preprint arXiv:1507.08715, 2015
182015
On the generation of quantified lemmas
G Ebner, S Hetzl, A Leitsch, G Reis, D Weller
Journal of Automated Reasoning 63, 95-126, 2019
162019
Formalized meta-theory of sequent calculi for linear logics
K Chaudhuri, L Lima, G Reis
Theoretical Computer Science 781, 24-38, 2019
142019
An adequate compositional encoding of bigraph structure in linear logic with subexponentials
K Chaudhuri, G Reis
Logic for Programming, Artificial Intelligence, and Reasoning: 20th …, 2015
102015
Quati: An Automated Tool for Proving Permutation Lemmas
V Nigam, G Reis, L Lima
102014
Cut-elimination by resolution in intuitionistic logic
G Reis
PhD thesis, Vienna University of Technology, 2014
72014
Towards CERes in intuitionistic logic
A Leitsch, G Reis, B Woltzenlogel Paleo
Computer Science Logic (CSL'12)-26th International Workshop/21st Annual …, 2012
72012
Sequoia: A Playground for Logicians: (System Description)
G Reis, Z Naeem, M Hashim
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris …, 2020
62020
Formalization of Automated Trading Systems in a Concurrent Linear Framework
I Cervesato, S Khan, G Reis, D ®uniæ
arXiv preprint arXiv:1904.06844, 2019
62019
Checking Proof Transformations with ASP
V NIGAM, L LIMA, G REIS
62013
Facilitating Meta-Theory Reasoning
G Reis
arXiv preprint arXiv:2107.07661, 2021
42021
The ILLTP Library for Intuitionistic Linear Logic
C Olarte, V de Paiva, E Pimentel, G Reis
arXiv preprint arXiv:1904.06850, 2019
32019
The system can't perform the operation now. Try again later.
Articles 1–20