COMPUTATIONAL SPEED-UP BY EFFECTIVE OPERATORS

被引:31
作者
MEYER, AR
FISCHER, PC
机构
关键词
D O I
10.2307/2272545
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
引用
收藏
页码:55 / &
相关论文
共 17 条
[1]  
ARBIB M, 1965, P AM MATH SOC, V16, P442
[2]   EFFECTIVE PROCEDURES FOR SPEEDING UP ALGORITHMS [J].
BLUM, M .
JOURNAL OF THE ACM, 1971, 18 (02) :290-&
[3]   ON SIZE OF MACHINES [J].
BLUM, M .
INFORMATION AND CONTROL, 1967, 11 (03) :257-&
[4]   A MACHINE-INDEPENDENT THEORY OF COMPLEXITY OF RECURSIVE FUNCTIONS [J].
BLUM, M .
JOURNAL OF THE ACM, 1967, 14 (02) :322-&
[5]  
COBHAM A, 1964, 1964 P INT C LOG MET, P24
[6]  
CONSTABLE RL, 1969, 6935 CORN U TECHN RE
[7]  
Davis M., 1958, COMPUTABILITY UNSOLV
[8]   ON COMPUTATIONAL COMPLEXITY OF ALGORITHMS [J].
HARTMANIS, J ;
STEARNS, RE .
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1965, 117 (05) :285-+
[9]   SIZE VS EFFICIENCY FOR PROGRAMS ADMITTING SPEED-UPS [J].
HELM, J ;
YOUNG, P .
JOURNAL OF SYMBOLIC LOGIC, 1971, 36 (01) :21-&
[10]  
MCCREIGHT EM, 1969, ACM S THEORY COMPUTI, P79