dc.date.accessioned | 2013-03-12T08:15:28Z | |
dc.date.available | 2013-03-12T08:15:28Z | |
dc.date.issued | 2009 | en_US |
dc.date.submitted | 2009-05-18 | en_US |
dc.identifier.citation | Mender, Bedeho. The Semantics and Complexity of Succesor-free Nondeterministic Gödel's T. Masteroppgave, University of Oslo, 2009 | en_US |
dc.identifier.uri | http://hdl.handle.net/10852/10075 | |
dc.description.abstract | We develop a model for a successor-free nondeterministic
flavour of Gödel’s T, which is built with particular consideration made to keep
it as convenient to compute as possible, while still being adequate. We desire
this convenience since we will use deterministic programs to compute the interpretation
of nondeterministic programs, and from this establish a relationship
between deterministic and nondeterminstic complexity classes. | eng |
dc.language.iso | eng | en_US |
dc.title | The Semantics and Complexity of Succesor-free Nondeterministic Gödel's T | en_US |
dc.type | Master thesis | en_US |
dc.date.updated | 2009-09-07 | en_US |
dc.creator.author | Mender, Bedeho | en_US |
dc.subject.nsi | VDP::420 | en_US |
dc.identifier.bibliographiccitation | info:ofi/fmt:kev:mtx:ctx&ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&rft.au=Mender, Bedeho&rft.title=The Semantics and Complexity of Succesor-free Nondeterministic Gödel's T&rft.inst=University of Oslo&rft.date=2009&rft.degree=Masteroppgave | en_US |
dc.identifier.urn | URN:NBN:no-22667 | en_US |
dc.type.document | Masteroppgave | en_US |
dc.identifier.duo | 91952 | en_US |
dc.contributor.supervisor | Lars Kristiansen | en_US |
dc.identifier.bibsys | 093202806 | en_US |
dc.identifier.fulltext | Fulltext https://www.duo.uio.no/bitstream/handle/10852/10075/1/Mender.pdf | |