Some results on speed-up

One hundred and two problems in mathematical logic

Harvey Friedman · Journal of Symbolic Logic · 1975 · 221 citations

Humanities, Mathematics, Logic +10

Bounds for proof-search and speed-up in the predicate calculus

Richard Statman · Annals of Mathematical Logic · 1978 · 107 citations · Full text

Computing, Computer Science, Mathematics +11

A note on a formalized arithmetic with function symbols ' and $+$

Tsuyoshi Yukami · Tsukuba Journal of Mathematics · 1978 · 12 citations · Full text

Humanities, Computer Science, Mathematics +10