SOME MORE INDEPENDENCE RESULTS IN COMPLEXITY THEORY

被引：1
|
作者：
GRANT, PW
机构：
来源：
THEORETICAL COMPUTER SCIENCE | 1980年 / 12卷 / 02期
关键词：
D O I：
10.1016/0304-3975(80)90024-9
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：119 / 126
页数：8
相关论文
共 50 条
  • [31] Arithmetical independence results using higher recursion theory
    Arana, A
    JOURNAL OF SYMBOLIC LOGIC, 2004, 69 (01) : 1 - 8
  • [32] SIGNIFICANCE OF INDEPENDENCE RESULTS IN SET THEORY FOR FOUNDATIONS OF MATHEMATICS
    CLEAVE, J
    RATIO-ENGLAND, 1970, 12 (02): : 155 - 174
  • [33] The Subjective Roots of Forcing Theory and Their Influence in Independence Results
    Stathis Livadas
    Axiomathes, 2015, 25 : 433 - 455
  • [34] The Subjective Roots of Forcing Theory and Their Influence in Independence Results
    Livadas, Stathis
    AXIOMATHES, 2015, 25 (04): : 433 - 455
  • [35] Complexity Results for Some Global Optimization Problems
    Locatelli, M.
    JOURNAL OF OPTIMIZATION THEORY AND APPLICATIONS, 2009, 140 (01) : 93 - 102
  • [36] Some complexity results for stateful network verification
    Alpernas, Kalev
    Panda, Aurojit
    Rabinovich, Alexander
    Sagiv, Mooly
    Shenker, Scott
    Shoham, Sharon
    Velner, Yaron
    FORMAL METHODS IN SYSTEM DESIGN, 2019, 54 (02) : 191 - 231
  • [37] Some Complexity Results for Stateful Network Verification
    Velner, Yaron
    Alpernas, Kalev
    Panda, Aurojit
    Rabinovich, Alexander
    Sagiv, Mooly
    Shenker, Scott
    Shoham, Sharon
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (TACAS 2016), 2016, 9636 : 811 - 830
  • [38] SOME COMPLEXITY RESULTS ABOUT THRESHOLD GRAPHS
    MARGOT, F
    DISCRETE APPLIED MATHEMATICS, 1994, 49 (1-3) : 299 - 308
  • [39] Some complexity results on fuzzy description logics
    Bonatti, PA
    Tettamanzi, AGB
    FUZZY LOGIC AND APPLICATIONS, 2006, 2955 : 19 - 24
  • [40] Some Complexity Results Involving Quantum Computing
    Ivanyos, Gabor
    Pereszlenyi, Attila
    Ronyai, Lajos
    ERCIM NEWS, 2022, (128): : 18 - 19
12345