Algorithms, Turing machines and algorithmic undecidability
Main Author: | |
---|---|
Format: | Others |
Language: | English |
Published: |
Uppsala universitet, Algebra och geometri
2021
|
Subjects: | |
Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-441282 |
id |
ndltd-UPSALLA1-oai-DiVA.org-uu-441282 |
---|---|
record_format |
oai_dc |
spelling |
ndltd-UPSALLA1-oai-DiVA.org-uu-4412822021-04-29T05:23:40ZAlgorithms, Turing machines and algorithmic undecidabilityengDavidsdottir, AgnesUppsala universitet, Algebra och geometri2021Algebra and LogicAlgebra och logikStudent thesisinfo:eu-repo/semantics/bachelorThesistexthttp://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-441282U.U.D.M. project report ; 2021:7application/pdfinfo:eu-repo/semantics/openAccess |
collection |
NDLTD |
language |
English |
format |
Others
|
sources |
NDLTD |
topic |
Algebra and Logic Algebra och logik |
spellingShingle |
Algebra and Logic Algebra och logik Davidsdottir, Agnes Algorithms, Turing machines and algorithmic undecidability |
author |
Davidsdottir, Agnes |
author_facet |
Davidsdottir, Agnes |
author_sort |
Davidsdottir, Agnes |
title |
Algorithms, Turing machines and algorithmic undecidability |
title_short |
Algorithms, Turing machines and algorithmic undecidability |
title_full |
Algorithms, Turing machines and algorithmic undecidability |
title_fullStr |
Algorithms, Turing machines and algorithmic undecidability |
title_full_unstemmed |
Algorithms, Turing machines and algorithmic undecidability |
title_sort |
algorithms, turing machines and algorithmic undecidability |
publisher |
Uppsala universitet, Algebra och geometri |
publishDate |
2021 |
url |
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-441282 |
work_keys_str_mv |
AT davidsdottiragnes algorithmsturingmachinesandalgorithmicundecidability |
_version_ |
1719400338476236800 |