Giselle Reis

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Sequoia: A Playground for Logicians Automated Reasoning	2022-11-09	Paper
The ILLTP library for intuitionistic linear logic	2021-12-20	Paper
The ILLTP library for intuitionistic linear logic (available as arXiv preprint)	2021-12-20	Paper
Formalization of automated trading systems in a concurrent linear framework	2021-12-20	Paper
Formalization of automated trading systems in a concurrent linear framework (available as arXiv preprint)	2021-12-20	Paper
Proof search and certificates for evidential transactions	2021-12-01	Paper
Mechanizing focused linear logic in Coq	2019-11-12	Paper
Complexity of translations from resolution to sequent calculus Mathematical Structures in Computer Science	2019-10-09	Paper
On the generation of quantified lemmas Journal of Automated Reasoning	2019-05-31	Paper
A note on the complexity of classical and intuitionistic proofs 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science	2018-04-23	Paper
Ceres in intuitionistic logic Annals of Pure and Applied Logic	2017-07-13	Paper
System description: GAPT 2.0 Automated Reasoning	2016-09-05	Paper
An extended framework for specifying and reasoning about proof systems Journal Of Logic And Computation	2016-07-07	Paper
An adequate compositional encoding of bigraph structure in linear logic with subexponentials Logic for Programming, Artificial Intelligence, and Reasoning	2016-01-12	Paper
The Proof Certifier Checkers Lecture Notes in Computer Science	2015-12-11	Paper
Specifying proof systems in linear logic with subexponentials Electronic Notes in Theoretical Computer Science	2015-03-18	Paper
Introducing quantified cuts in logic with equality Automated Reasoning	2014-09-26	Paper
Algorithmic introduction of quantified cuts Theoretical Computer Science	2014-08-27	Paper
Towards CERes in intuitionistic logic	2012-11-22	Paper

Research outcomes over time

This page was built for person: Giselle Reis