Undecidability of finite satisfiability and characterization of NP in finite model theory
University essay from Uppsala universitet/Algebra och geometri
Abstract:
AT THIS PAGE YOU CAN DOWNLOAD THE WHOLE ESSAY. (follow the link to the next page)