Skip to main content
Početna
O repozitoriju
Za ustanove
Kontakt
Upute i priručnici
English
Nacionalni repozitorij disertacija i znanstvenih magistarskih radova
Nacionalna i sveučilišna knjižnica u Zagrebu
Pregledavanje
Prema godini
Prema autoru
Prema ustanovi
Prema području
Prema vrsti rada
Prema repozitorijima
Svih dokumenata
Napredno pretraživanje
Pohranjivanje
Search Term
ovaj repozitorij
sve repozitorije u Dabru
Tin Perkov (popis objekata)
Izvoz zapisa
maks. 1000 zapisa
RIS
BibTeX
CSV
TSV
maks. 100 zapisa
PDF
Prikaži radove sa ostalih repozitorija
Vođeni / mentorirani radovi
(1)
Bisimulacije i bisimulacijske igre za Verbruggeinu semantiku
Horvat, Sebastijan
Doktorski rad
Datum obrane: 24.01.2024.
Funkcija: komentor
Rad je objavljen i na sljedećim repozitorijima:
Nadzirani radovi (povjerenstvo)
(2)
Jedinstvenost struktura izračunljivosti
Validžić, Lucija
Disertacija
Datum obrane: 20.05.2022.
Funkcija: član povjerenstva
Rad je objavljen i na sljedećim repozitorijima:
Izračunljivost skupova s nepovezanim komplementima
Pažek, Bojan
Disertacija
Datum obrane: 28.06.2018.
Funkcija: član povjerenstva
Rad je objavljen i na sljedećim repozitorijima: