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