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 条
  • [31] The Computational Relevance of Formal Logic Through Formal Proofs
    Almeida, Ariane A.
    Rocha-Oliveira, Ana Cristina
    Ferreira Ramos, Thiago M.
    de Moura, Flavio L. C.
    Ayala-Rincon, Mauricio
    FORMAL METHODS TEACHING (FMTEA 2019), 2019, 11758 : 81 - 96
  • [32] The Computational Complexity of Sandpiles
    Cristopher Moore
    Martin Nilsson
    Journal of Statistical Physics, 1999, 96 : 205 - 224
  • [33] GENERALIZED COMPUTATIONAL COMPLEXITY
    JACOBS, BE
    JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (01) : 47 - 58
  • [34] On the computational complexity of bridgecard
    Zihan Tan
    Journal of Combinatorial Optimization, 2016, 31 : 196 - 217
  • [35] Computational complexity for physicists
    Mertens, S
    COMPUTING IN SCIENCE & ENGINEERING, 2002, 4 (03) : 31 - 47
  • [36] On the computational complexity of bridgecard
    Tan, Zihan
    JOURNAL OF COMBINATORIAL OPTIMIZATION, 2016, 31 (01) : 196 - 217
  • [37] Computational Complexity on the Blackboard
    Kopczynski, Eryk
    FUNDAMENTA INFORMATICAE, 2017, 152 (04) : 323 - 339
  • [38] Computational sample complexity
    Decatur, SE
    Goldreich, O
    Ron, D
    SIAM JOURNAL ON COMPUTING, 2000, 29 (03) : 854 - 879
  • [39] The computational complexity of immanants
    Bürgisser, P.
    2001, Society for Industrial and Applied Mathematics Publications (30)
  • [40] Computational Complexity in Analysis
    Rettinger, Robert
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (24): : 4 - 4
12345