• DocumentCode
    2179550
  • Title

    Model theoretic aspects of computational complexity

  • Author

    Lipton, Richard J.

  • fYear
    1978
  • fDate
    16-18 Oct. 1978
  • Firstpage
    193
  • Lastpage
    200
  • Keywords
    Arithmetic; Computational complexity; Computer science; Contracts; Equations; Logic; Polynomials; Set theory; Turing machines;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Foundations of Computer Science, 1978., 19th Annual Symposium on
  • Conference_Location
    Ann Arbor, MI, USA
  • ISSN
    0272-5428
  • Type

    conf

  • DOI
    10.1109/SFCS.1978.23
  • Filename
    4567979