• Title of article

    Competing provers yield improved Karp–Lipton collapse results

  • Author/Authors

    Jin-Yi Cai، نويسنده , , Venkatesan T. Chakaravarthy، نويسنده , , Lane A. Hemaspaandra، نويسنده , , Mitsunori Ogihara، نويسنده ,

  • Issue Information
    روزنامه با شماره پیاپی سال 2005
  • Pages
    23
  • From page
    1
  • To page
    23
  • Keywords
    structural complexity , Competingprovers , Nonuniform complexity , Symmetric alternation , Karp–Liptontheorem , Yap’s theorem , lowness , K?mper–AFK theorem
  • Journal title
    Information and Computation
  • Serial Year
    2005
  • Journal title
    Information and Computation
  • Record number

    262278