| id |
ndltd-UPSALLA1-oai-DiVA.org-uu-254570
|
| record_format |
oai_dc
|
| spelling |
ndltd-UPSALLA1-oai-DiVA.org-uu-2545702015-06-10T04:48:33ZUndecidability of finite satisfiability and characterization of NP in finite model theoryengBlock, MaxUppsala universitet, Algebra och geometri2015Student thesisinfo:eu-repo/semantics/bachelorThesistexthttp://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-254570U.U.D.M. project report ; 2015:16application/pdfinfo:eu-repo/semantics/openAccess
|
| collection |
NDLTD
|
| language |
English
|
| format |
Others
|
| sources |
NDLTD
|
| author |
Block, Max
|
| spellingShingle |
Block, Max
Undecidability of finite satisfiability and characterization of NP in finite model theory
|
| author_facet |
Block, Max
|
| author_sort |
Block, Max
|
| title |
Undecidability of finite satisfiability and characterization of NP in finite model theory
|
| title_short |
Undecidability of finite satisfiability and characterization of NP in finite model theory
|
| title_full |
Undecidability of finite satisfiability and characterization of NP in finite model theory
|
| title_fullStr |
Undecidability of finite satisfiability and characterization of NP in finite model theory
|
| title_full_unstemmed |
Undecidability of finite satisfiability and characterization of NP in finite model theory
|
| title_sort |
undecidability of finite satisfiability and characterization of np in finite model theory
|
| publisher |
Uppsala universitet, Algebra och geometri
|
| publishDate |
2015
|
| url |
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-254570
|
| work_keys_str_mv |
AT blockmax undecidabilityoffinitesatisfiabilityandcharacterizationofnpinfinitemodeltheory
|
| _version_ |
1716805229481033728
|
