• DocumentCode
    2176982
  • Title

    Computational complexity of decision procedures for polynomials

  • Author

    Adleman, Leonard ; Manders, Kenneth

  • fYear
    1975
  • fDate
    13-15 Oct. 1975
  • Firstpage
    169
  • Lastpage
    177
  • Keywords
    Computational complexity; Computer science; Encoding; Equations; Laboratories; Logic; Polynomials; Tin; Turing machines;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Foundations of Computer Science, 1975., 16th Annual Symposium on
  • Conference_Location
    USA
  • ISSN
    0272-5428
  • Type

    conf

  • DOI
    10.1109/SFCS.1975.9
  • Filename
    4567874