Giselle Reis
Giselle Reis
Verified email at cmu.edu - Homepage
Title
Cited by
Cited by
Year
Algorithmic introduction of quantified cuts
S Hetzl, A Leitsch, G Reis, D Weller
Theoretical Computer Science 549, 1-16, 2014
362014
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
332016
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
322016
Introducing quantified cuts in logic with equality
S Hetzl, A Leitsch, G Reis, J Tapolczai, D Weller
International Joint Conference on Automated Reasoning, 240-254, 2014
252014
Specifying proof systems in linear logic with subexponentials
V Nigam, E Pimentel, G Reis
Electronic Notes in Theoretical Computer Science 269, 109-123, 2011
232011
The proof certifier checkers
Z Chihani, T Libal, G Reis
International Conference on Automated Reasoning with Analytic Tableaux and …, 2015
202015
Importing SMT and Connection proofs as expansion trees
G Reis
arXiv preprint arXiv:1507.08715, 2015
142015
On the generation of quantified lemmas
G Ebner, S Hetzl, A Leitsch, G Reis, D Weller
Journal of Automated Reasoning 63 (1), 95-126, 2019
112019
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
112017
Mechanizing Focused Linear Logic in Coq
B Xavier, C Olarte, G Reis, V Nigam
Electronic Notes in Theoretical Computer Science 338, 219-236, 2018
102018
An adequate compositional encoding of bigraph structure in linear logic with subexponentials
K Chaudhuri, G Reis
Logic for Programming, Artificial Intelligence, and Reasoning, 146-161, 2015
72015
Towards CERes in intuitionistic logic
A Leitsch, G Reis, B Woltzenlogel Paleo
Computer Science Logic (CSL'12)-26th International Workshop/21st Annual …, 2012
72012
Quati: An Automated Tool for Proving Permutation Lemmas
V Nigam, G Reis, L Lima
62014
Cut-elimination by resolution in intuitionistic logic
G Reis
Ph. D. dissertation, Vienna University of Technology, 2014
52014
Checking Proof Transformations with ASP
V NIGAM, L LIMA, G REIS
52013
Towards the Automated Generation of Focused Proof Systems
V Nigam, G Reis, L Lima
arXiv preprint arXiv:1511.04177, 2015
32015
Ceres in intuitionistic logic
D Cerna, A Leitsch, G Reis, S Wolfsteiner
Annals of Pure and Applied Logic 168 (10), 1783-1836, 2017
22017
Formalized meta-theory of sequent calculi for linear logics
K Chaudhuri, L Lima, G Reis
Theoretical Computer Science 781, 24-38, 2019
12019
The ILLTP Library for Intuitionistic Linear Logic
C Olarte, V de Paiva, E Pimentel, G Reis
arXiv preprint arXiv:1904.06850, 2019
12019
Formalization of Automated Trading Systems in a Concurrent Linear Framework
I Cervesato, S Khan, G Reis, D Žunić
arXiv preprint arXiv:1904.06844, 2019
12019
The system can't perform the operation now. Try again later.
Articles 1–20