Giselle Reis

Available identifiers

Publication	Date of Publication	Type
Sequoia: A Playground for Logicians	2022-11-09	Paper
https://portal.mardi4nfdi.de/entity/Q5018490	2021-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q5018483	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	2019-10-09	Paper
On the generation of quantified lemmas	2019-05-31	Paper
A Note on the Complexity of Classical and Intuitionistic Proofs	2018-04-23	Paper
Ceres in intuitionistic logic	2017-07-13	Paper
System Description: GAPT 2.0	2016-09-05	Paper
An extended framework for specifying and reasoning about proof systems	2016-07-07	Paper
An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials	2016-01-12	Paper
The Proof Certifier Checkers	2015-12-11	Paper
Specifying Proof Systems in Linear Logic with Subexponentials	2015-03-18	Paper
Introducing Quantified Cuts in Logic with Equality	2014-09-26	Paper
Algorithmic introduction of quantified cuts	2014-08-27	Paper
Towards CERes in intuitionistic logic	2012-11-22	Paper

This page was built for person: Giselle Reis