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:5129,thesis,"Modalna potpunost logika interpretabilnosti","Horvat, Sebastijan",,,,,,,,