×

Computational complexity and proof theory. (English. Japanese original) Zbl 0681.03039

Sugaku Expo. 1, No. 1, 1-14 (1988); translation from Sûgaku 39, No. 2, 110-123 (1987).
See the review in Zbl 0646.03052.

MSC:

03F05 Cut-elimination and normal-form theorems
03F25 Relative consistency and interpretations
68Q25 Analysis of algorithms and problem complexity
03D15 Complexity of computation (including implicit computational complexity)

Citations:

Zbl 0646.03052
PDFBibTeX XMLCite