Amanote Research
Register
Sign In
A Note on the Complexity of Classical and Intuitionistic Proofs
doi 10.1109/lics.2015.66
Full Text
Open PDF
Abstract
Available in
full text
Date
July 1, 2015
Authors
Matthias Baaz
Alexander Leitsch
Giselle Reis
Publisher
IEEE
Related search
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
