-
Verifying time complexity of turing machines : thesis summaryGajser, David, 1987-Vir: Informatica : an international journal of computing and informatics. - ISSN 0350-5596 (Vol. 40, no. 3, 2016, str. 369-370)Vrsta gradiva - članek, sestavni delLeto - 2016Jezik - angleškiCOBISS.SI-ID - 24512008
Avtor
Gajser, David, 1987-
Teme
Turingov stroj |
relativizacija |
NP-polnost |
prekrižno zaporedje |
odločljivost |
spodnja meja |
časovna zahtevnost |
linearni čas izvajanja |
Turing machine |
relativization |
NP-completeness |
crossing sequence |
decidability |
lower bound |
time complexity |
running time |
linear time
vir: Informatica : an international journal of computing and informatics. - ISSN 0350-5596 (Vol. 40, no. 3, 2016, str. 369-370)
Vnos na polico
Trajna povezava
- URL:
Faktor vpliva
Dostop do baze podatkov JCR je dovoljen samo uporabnikom iz Slovenije. Vaš trenutni IP-naslov ni na seznamu dovoljenih za dostop, zato je potrebna avtentikacija z ustreznim računom AAI.
| Leto | Faktor vpliva | Izdaja | Kategorija | Razvrstitev | ||||
|---|---|---|---|---|---|---|---|---|
| JCR | SNIP | JCR | SNIP | JCR | SNIP | JCR | SNIP | |
Faktor vpliva
Baze podatkov, v katerih je revija indeksirana
| Ime baze podatkov | Področje | Leto |
|---|
| Povezave do osebnih bibliografij avtorjev | Povezave do podatkov o raziskovalcih v sistemu SICRIS |
|---|---|
| Gajser, David, 1987- | 34564 |
Izberite prevzemno mesto:
Prevzem gradiva po pošti
Obvestilo
Gesla v Splošnem geslovniku COBISS
Izbira mesta prevzema
| Mesto prevzema | Status gradiva | Rezervacija |
|---|
Prosimo, počakajte trenutek.
Vak dan od ponedljka do petka od 8:00 do 14:00, srede od 8.00 do 17:00.
Uspešen študij.
Kolektiv Miklošičeve knjižnice - FPNM