TY  - THES
ID  - pmf:12545
TI  - Bisimulacije i bisimulacijske igre za Verbruggeinu semantiku
AU  - Horvat, Sebastijan
DP  - DABAR (Digitalni akademski arhivi i repozitoriji)
ER  - 
TY  - THES
ID  - pmf:10598
TI  - Jedinstvenost struktura izračunljivosti
AU  - Validžić, Lucija
DP  - DABAR (Digitalni akademski arhivi i repozitoriji)
ER  - 
TY  - THES
ID  - pmf:5777
TI  - Izračunljivost skupova s nepovezanim komplementima
AU  - Pažek, Bojan
DP  - DABAR (Digitalni akademski arhivi i repozitoriji)
ER  -