@phdthesis{pmf:12545, author = {{Horvat, Sebastijan}}, title = {{Bisimulacije i bisimulacijske igre za Verbruggeinu semantiku}}, } @phdthesis{pmf:12400, author = {{Jelić, Matea}}, title = {{Izračunljivost poopćenih grafova}}, } @phdthesis{pmf:10598, author = {{Validžić, Lucija}}, title = {{Jedinstvenost struktura izračunljivosti}}, }