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:9686
TI  - On logics and semantics for interpretability
AU  - Mikec, Luka
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  - 
TY  - THES
ID  - pmf:5726
TI  - Izračunljivost 1-mnogostrukosti
AU  - Burnik, Konrad
DP  - DABAR (Digitalni akademski arhivi i repozitoriji)
ER  -