COMPUTATIONAL COMPLEXITY OF FORMAL TRANSLATIONS

被引：0
|
作者：
HARTMANIS, J [1 ]
机构：
[1] CORNELL UNIV,DEPT COMP SCI,ITHACA,NY 14850
来源：
MATHEMATICAL SYSTEMS THEORY | 1975年 / 8卷 / 02期
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：156 / 166
页数：11
相关论文
共 50 条
  • [41] THE COMPUTATIONAL COMPLEXITY COLUMN
    Arvind, Vikraman
    BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2015, (117): : 55 - 55
  • [42] Computational Complexity of NURIKABE
    Holzer, Markus
    Klein, Andreas
    Kutrib, Martin
    Ruepp, Oliver
    FUNDAMENTA INFORMATICAE, 2011, 110 (1-4) : 159 - 174
  • [43] Computational complexity in physics
    Moore, C
    COMPLEXITY FROM MICROSCOPIC TO MACROSCOPIC SCALES: COHERENCE AND LARGE DEVIATIONS, 2002, 63 : 131 - 135
  • [44] THE COMPUTATIONAL COMPLEXITY OF DUALITY
    Friedland, Shmuel
    Lim, Lek-Heng
    SIAM JOURNAL ON OPTIMIZATION, 2016, 26 (04) : 2378 - 2393
  • [45] The computational complexity column
    Arvind, Vikraman
    Bulletin of the European Association for Theoretical Computer Science, 2014, (113):
  • [46] The computational complexity of immanants
    Bürgisser, P
    SIAM JOURNAL ON COMPUTING, 2000, 30 (03) : 1023 - 1040
  • [47] On the Computational Complexity of MapReduce
    Fish, Benjamin
    Kun, Jeremy
    Lelkes, Adam D.
    Reyzin, Lev
    Turan, Gyoergy
    DISTRIBUTED COMPUTING (DISC 2015), 2015, 9363 : 1 - 15
  • [48] ALGORITHMS AND COMPUTATIONAL COMPLEXITY
    AHO, AV
    ACTA CRYSTALLOGRAPHICA A-FOUNDATION AND ADVANCES, 1977, 33 (JAN1): : 5 - 12
  • [49] Computational complexity theory
    ACM Comput Surv, 1 (47):
  • [50] Uncertainty and computational complexity
    Bossaerts, Peter
    Yadav, Nitin
    Murawski, Carsten
    PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY B-BIOLOGICAL SCIENCES, 2019, 374 (1766)
12345