@phdthesis{pmf:12545, author = {{Horvat, Sebastijan}}, title = {{Bisimulacije i bisimulacijske igre za Verbruggeinu semantiku}}, } @phdthesis{pmf:10598, author = {{Validžić, Lucija}}, title = {{Jedinstvenost struktura izračunljivosti}}, } @phdthesis{pmf:5777, author = {{Pažek, Bojan}}, title = {{Izračunljivost skupova s nepovezanim komplementima}}, }