• Shop by category
  • Powered by eBay
  • Elements of Finite Model Theory (Texts in Theoretical Computer Science. An

    • Item No : 176675098363
    • Condition : Brand New
    • Brand : No brand Info
    • Seller : loveourprices2
    • Current Bid : US $106.26
    • * Item Description

    • Finite model theory is an area of mathematical logic that grew out of computer science applications. The tech nique of the proof, based on encoding Turing machine computations as finite structures, was reused by Fagin almost a quarter century later to prove his cel ebrated result that put the equality sign between the class NP and existential second-order logic, thereby providing a machine-independent characterization of an important complexity class.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category