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:10598 dissertation "Jedinstvenost struktura izračunljivosti" "Validžić, Lucija" pmf:5777 dissertation "Izračunljivost skupova s nepovezanim komplementima" "Pažek, Bojan"