Elements of Finite Model Theory (Texts in Theoretical Computer Science. An
129,29 €
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.
Jetzt bei Ebay:
