{"?xml":{"@version":"1.0"},"edm:RDF":{"@xmlns:dc":"http://purl.org/dc/elements/1.1/","@xmlns:edm":"http://www.europeana.eu/schemas/edm/","@xmlns:wgs84_pos":"http://www.w3.org/2003/01/geo/wgs84_pos","@xmlns:foaf":"http://xmlns.com/foaf/0.1/","@xmlns:rdaGr2":"http://rdvocab.info/ElementsGr2","@xmlns:oai":"http://www.openarchives.org/OAI/2.0/","@xmlns:owl":"http://www.w3.org/2002/07/owl#","@xmlns:rdf":"http://www.w3.org/1999/02/22-rdf-syntax-ns#","@xmlns:ore":"http://www.openarchives.org/ore/terms/","@xmlns:skos":"http://www.w3.org/2004/02/skos/core#","@xmlns:dcterms":"http://purl.org/dc/terms/","edm:WebResource":[{"@rdf:about":"http://www.dlib.si/stream/URN:NBN:SI:DOC-YK0QUQC2/31cb8e8b9-f3fcc03-ce-ed-ad816d8f2468/PDF","dcterms:extent":"1083 KB"},{"@rdf:about":"http://www.dlib.si/stream/URN:NBN:SI:DOC-YK0QUQC2/d2b55351-f568-4df5-b447-e875930169ef/TEXT","dcterms:extent":"0 KB"},{"@rdf:about":"http://www.dlib.si/stream/URN:NBN:SI:DOC-YK0QUQC2/a26c3eeb-fe44-4e6f-9fa5-832b0b059185/WEB","dcterms:extent":"0 KB"}],"edm:ProvidedCHO":{"@rdf:about":"URN:NBN:SI:DOC-YK0QUQC2","dcterms:issued":"2015","dc:contributor":["Cabello, Sergio","Mohar, Bojan"],"dc:creator":"Gajser, David","dc:format":{"@xml:lang":"sl","#text":"X, 120 str., 30 cm"},"dc:identifier":["COBISSID:282124800","PID:https://repozitorij.uni-lj.si/IzpisGradiva.php?id=95862","URN:URN:NBN:SI:doc-YK0QUQC2"],"dc:language":"en","dc:publisher":{"@xml:lang":"sl","#text":"D. Gajser"},"dc:source":{"@xml:lang":"sl","#text":"visokošolska dela"},"dc:subject":[{"@xml:lang":"sl","#text":"čas izvajanja"},{"@xml:lang":"sl","#text":"časovna zahtevnost"},{"@xml:lang":"sl","#text":"Disertacije"},{"@xml:lang":"sl","#text":"linearni čas"},{"@xml:lang":"sl","#text":"NP-polnost"},{"@xml:lang":"sl","#text":"odločljivost"},{"@xml:lang":"sl","#text":"prekrižno zaporedje"},{"@xml:lang":"sl","#text":"relativizacija"},{"@xml:lang":"sl","#text":"spodnja meja"},{"@xml:lang":"sl","#text":"Turingovi stroji"}],"dc:title":{"@xml:lang":"sl","#text":"Verifying Time Complexity of Turing Machines| doctoral thesis|"},"edm:type":"TEXT","dc:type":[{"@xml:lang":"sl","#text":"visokošolska dela"},{"@xml:lang":"en","#text":"theses and dissertations"},{"@rdf:resource":"http://www.wikidata.org/entity/Q1266946"}]},"ore:Aggregation":{"@rdf:about":"http://www.dlib.si/?URN=URN:NBN:SI:DOC-YK0QUQC2","edm:aggregatedCHO":{"@rdf:resource":"URN:NBN:SI:DOC-YK0QUQC2"},"edm:isShownBy":{"@rdf:resource":"http://www.dlib.si/stream/URN:NBN:SI:DOC-YK0QUQC2/31cb8e8b9-f3fcc03-ce-ed-ad816d8f2468/PDF"},"edm:rights":{"@rdf:resource":"http://rightsstatements.org/vocab/InC/1.0/"},"edm:provider":"Slovenian National E-content Aggregator","edm:intermediateProvider":{"@xml:lang":"en","#text":"National and University Library of Slovenia"},"edm:dataProvider":{"@xml:lang":"sl","#text":"Univerza v Ljubljani, Fakulteta za matematiko in fiziko"},"edm:object":{"@rdf:resource":"http://www.dlib.si/streamdb/URN:NBN:SI:DOC-YK0QUQC2/maxi/edm"},"edm:isShownAt":{"@rdf:resource":"http://www.dlib.si/details/URN:NBN:SI:DOC-YK0QUQC2"}}}}