pid,type,title,authors,mentors,source_title,published_date,url,doi,isbn,issn,eissn
pmf:12545,dissertation,"Bisimulacije i bisimulacijske igre za Verbruggeinu semantiku","Horvat, Sebastijan",,,,,,,,
pmf:9686,dissertation,"On logics and semantics for interpretability","Mikec, Luka",,,,,,,,
pmf:5777,dissertation,"Izračunljivost skupova s nepovezanim komplementima","Pažek, Bojan",,,,,,,,
pmf:5726,dissertation,"Izračunljivost 1-mnogostrukosti","Burnik, Konrad",,,,,,,,