Undecidability of finite satisfiability and characterization of NP in finite model theory

University essay from Uppsala universitet/Algebra och geometri

Author: Max Block; [2015]

Keywords: ;

Abstract:

  AT THIS PAGE YOU CAN DOWNLOAD THE WHOLE ESSAY. (follow the link to the next page)