Verifying Time Complexity of Turing Machines : doctoral thesis

Dostop v Repozitoriju Univerze

Gradivo je dostopno v prostorih NUK na namenskih računalnikih

Izvoz v EndNote (RIS format)

Avtor(ji)

Gajser, David (avtor)
Cabello, Sergio (mentor)
Mohar, Bojan (komentor)

Jezik

angleški

Skupina

doktorska dela

Leto

2015

Vsebina

čas izvajanja časovna zahtevnost Disertacije linearni čas NP-polnost odločljivost prekrižno zaporedje relativizacija spodnja meja Turingovi stroji

Založnik

D. Gajser

Izvor

Univerza v Ljubljani, Fakulteta za matematiko in fiziko
(Obvezni izvod spletne publikacije)

Pravice

URN

URN:NBN:SI:doc-YK0QUQC2

Objavljeno

12.05.2023

COBISSID

282124800

Metapodatki

Citiranje

APA:

Gajser, David, Cabello, Sergio, Mohar, Bojan (2015). Verifying Time Complexity of Turing Machines. URN:NBN:SI:doc-YK0QUQC2 from http://www.dlib.si

MLA:

Gajser, David, Cabello, Sergio, Mohar, Bojan. Verifying Time Complexity of Turing Machines. D. Gajser, 2015.
<http://www.dlib.si/?URN=URN:NBN:SI:doc-YK0QUQC2>