ON TIME-SPACE CLASSES AND THEIR RELATION TO THE THEORY OF REAL ADDITION

被引:16
作者
BRUSS, AR
MEYER, AR
机构
[1] MIT, ARTIFICIAL INTELLIGENCE LAB, CAMBRIDGE, MA 02139 USA
[2] MIT, COMP SCI LAB, CAMBRIDGE, MA 02139 USA
关键词
D O I
10.1016/0304-3975(80)90036-5
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
引用
收藏
页码:59 / 69
页数:11
相关论文
共 19 条
[1]  
Berman L., 1977, 18th Annual Symposium on Foundations of Computer Science, P95, DOI 10.1109/SFCS.1977.23
[2]  
BERMAN L, 1980, THEOR COMPUT SCI, V11, P71, DOI 10.1016/0304-3975(80)90037-7
[3]  
Chandra A. K., 1976, 17TH P IEEE S F COMP, P98, DOI DOI 10.1109/SFCS.1976.4
[4]  
Ferrante J., 1975, SIAM Journal on Computing, V4, P69, DOI 10.1137/0204006
[5]  
FERRANTE J, 1979, LECTURE NOTES MATH
[6]  
Fischer M. J., 1974, SIAM AMS P, V7, P27
[7]  
Fleischmann K., 1977, LOGIC C, V76, P471
[8]  
FLEISCHMANN K, 1976, 7609 TU BERL BER
[9]  
Glinert E. P., 1971, Mathematical Systems Theory, V5, P331, DOI 10.1007/BF01694077
[10]  
HOPCROFT JE, 1969, FORMAL LANGUAGES THE, P137