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"