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:12400 dissertation "Izračunljivost poopćenih grafova" "Jelić, Matea" pmf:10598 dissertation "Jedinstvenost struktura izračunljivosti" "Validžić, Lucija" pmf:9686 dissertation "On logics and semantics for interpretability" "Mikec, Luka"