Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Giselle Reis
A Note on the Complexity of Classical and Intuitionistic Proofs
Related publications
A Note on the Proofs of Generalized Radon Inequality
Mathematica Moravica
On the Concrete Complexity of Zero-Knowledge Proofs
A Note on the Classical Dickson Invariants
Algebra Colloquium
Applied Mathematics
Number Theory
Algebra
A Note on the Classical Gauss Sums
Mathematics
Mathematics
The Frame Problem and the Semantics of Classical Proofs
Hybrid Realizability for Intuitionistic and Classical Choice
The Complexity of Generating and Checking Proofs of Membership
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Note on Classical and Quantum Unimodular Gravity
European Physical Journal C
Engineering
Astronomy
Physics
An Intuitionistic Definition of Classical Natural Numbers
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
