Sebastijan Horvat (popis objekata)

Prikaži radove sa ostalih repozitorija

Autorski radovi (2)
Bisimulacije i bisimulacijske igre za Verbruggeinu semantiku Horvat, Sebastijan Doktorski rad Datum obrane: 24.01.2024. Rad je objavljen i na sljedećim repozitorijima:
Modalna potpunost logika interpretabilnosti Horvat, Sebastijan Diplomski rad Datum obrane: 16.07.2018. Rad je objavljen i na sljedećim repozitorijima: