| 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 | 49 | 2016 |
| 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 | 43 | 2016 |
| Algorithmic introduction of quantified cuts S Hetzl, A Leitsch, G Reis, D Weller Theoretical Computer Science 549, 1-16, 2014 | 40 | 2014 |
| 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 | 29 | 2014 |
| Specifying proof systems in linear logic with subexponentials V Nigam, E Pimentel, G Reis Electronic Notes in Theoretical Computer Science 269, 109-123, 2011 | 27 | 2011 |
| Mechanizing Focused Linear Logic in Coq B Xavier, C Olarte, G Reis, V Nigam Electronic Notes in Theoretical Computer Science 338, 219-236, 2018 | 23 | 2018 |
| The Proof Certifier Checkers Z Chihani, T Libal, G Reis Automated Reasoning with Analytic Tableaux and Related Methods: 24th …, 2015 | 22 | 2015 |
| 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 | 19 | 2017 |
| Importing SMT and Connection proofs as expansion trees G Reis arXiv preprint arXiv:1507.08715, 2015 | 18 | 2015 |
| On the generation of quantified lemmas G Ebner, S Hetzl, A Leitsch, G Reis, D Weller Journal of Automated Reasoning 63, 95-126, 2019 | 17 | 2019 |
| Formalized meta-theory of sequent calculi for linear logics K Chaudhuri, L Lima, G Reis Theoretical Computer Science 781, 24-38, 2019 | 15 | 2019 |
| 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 | 10 | 2015 |
| Quati: An Automated Tool for Proving Permutation Lemmas V Nigam, G Reis, L Lima | 10 | 2014 |
| Formalization of Automated Trading Systems in a Concurrent Linear Framework I Cervesato, S Khan, G Reis, D Žunić arXiv preprint arXiv:1904.06844, 2019 | 8 | 2019 |
| Cut-elimination by resolution in intuitionistic logic G Reis PhD thesis, Vienna University of Technology, 2014 | 7 | 2014 |
| Towards CERes in intuitionistic logic A Leitsch, G Reis, B Woltzenlogel Paleo Computer Science Logic (CSL'12)-26th International Workshop/21st Annual …, 2012 | 7 | 2012 |
| Sequoia: A Playground for Logicians: (System Description) G Reis, Z Naeem, M Hashim Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris …, 2020 | 6 | 2020 |
| Checking Proof Transformations with ASP V NIGAM, L LIMA, G REIS | 6 | 2013 |
| Facilitating Meta-Theory Reasoning G Reis arXiv preprint arXiv:2107.07661, 2021 | 4 | 2021 |
| The ILLTP Library for Intuitionistic Linear Logic C Olarte, V de Paiva, E Pimentel, G Reis arXiv preprint arXiv:1904.06850, 2019 | 3 | 2019 |
Vivek NigamAppleapple.com의 이메일 확인됨