论文信息 - Some results on speed-up - 字舞流文

Some results on speed-up

Tsuyoshi Yukami | Tsuyoshi Yukami

[1] Rohit Parikh. Some results on the length of proofs , 1973 .

[2] R. Statman. Bounds for proof-search and speed-up in the predicate calculus , 1978 .

[3] A theorem on lengths of proof of Presburger formulas , 1983 .

[4] Tsuyoshi Yukami. A note on a formalized arithmetic with function symbols ' and + , 1978 .

[5] Harvey M. Friedman,et al. One hundred and two problems in mathematical logic , 1975, Journal of Symbolic Logic.