ENUMERATION AND SOLVING COMPLEXITY OF PREDICATES

被引：0
作者：
KANOVICH, MI
机构：
来源：
DOKLADY AKADEMII NAUK SSSR | 1970年 / 190卷 / 01期
关键词：
D O I：
暂无
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
引用
收藏
页码：23 / &
相关论文
共 9 条
  • [1] BARZDIN YM, 1968, DOKL AKAD NAUK SSSR+, V182, P1249
  • [2] FRIEDBERG R. M., 1959, Z MATH LOGIK, V5, P117
  • [3] MARKOV AA, 1967, DOKL AKAD NAUK SSSR, V31, P161
  • [4] MARKOV AA, 1963, IZV AN SSSR M, V27, P101
  • [5] MARKOV AA, 1954, T MATEM I VA STEKLOV, V42
  • [6] PETRI NV, 1969, DOKL AKAD NAUK SSSR+, V185, P37
  • [7] SHANIN NA, 1958, TR MAT I AKAD NAUK S, V52, P226
  • [8] TRAKHTENBROT BA, 1967, SLOZHNOST ALGORITMOV
  • [9] [No title captured]
1