On Go¨del's theorems on lengths of proofs I: number of lines and speedup for arithmetics

Authors:
Samuel R. Buss
Affiliations:
-
Venue:
Journal of Symbolic Logic
Year:
1994

Citing 0
Cited 3

Classical type theory

Handbook of automated reasoning
Kurt gödel and computability theory

CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
Unbounded proof-length speed-up in deduction modulo

CSL'07/EACSL'07 Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic

Quantified Score

Hi-index	0.00

Visualization

Abstract