Giselle Reis
Giselle Reis
Verified email at cmu.edu - Homepage
Title
Cited by
Cited by
Year
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
422014
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
372016
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
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
252011
The proof certifier checkers
Z Chihani, T Libal, G Reis
International Conference on Automated Reasoning with Analytic Tableaux and …, 2015
222015
Importing SMT and Connection proofs as expansion trees
G Reis
arXiv preprint arXiv:1507.08715, 2015
172015
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
142019
Mechanizing Focused Linear Logic in Coq
B Xavier, C Olarte, G Reis, V Nigam
Electronic Notes in Theoretical Computer Science 338, 219-236, 2018
142018
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
132017
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
92015
Quati: An Automated Tool for Proving Permutation Lemmas
V Nigam, G Reis, L Lima
82014
Towards CERes in intuitionistic logic
A Leitsch, G Reis, B Woltzenlogel Paleo
Computer Science Logic (CSL'12)-26th International Workshop/21st Annual …, 2012
82012
Cut-elimination by resolution in intuitionistic logic
G Reis
PhD thesis, Vienna University of Technology, 2014
72014
Checking Proof Transformations with ASP
V NIGAM, L LIMA, G REIS
62013
Formalized meta-theory of sequent calculi for linear logics
K Chaudhuri, L Lima, G Reis
Theoretical Computer Science 781, 24-38, 2019
42019
Sequoia: A Playground for Logicians
G Reis, Z Naeem, M Hashim
International Joint Conference on Automated Reasoning, 480-488, 2020
32020
An Encyclopaedia of Proof Systems
G Reis, BW Paleo
College Publications, 2017
32017
Towards the Automated Generation of Focused Proof Systems
V Nigam, G Reis, L Lima
arXiv preprint arXiv:1511.04177, 2015
32015
Facilitating Meta-Theory Reasoning
G Reis
arXiv preprint arXiv:2107.07661, 2021
22021
The system can't perform the operation now. Try again later.
Articles 1–20