Sebastijan Horvat (list of objects)

Show objects from other repositories

Authoring papers (2)
Bisimulacije i bisimulacijske igre za Verbruggeinu semantiku Horvat, Sebastijan Doctoral thesis Defence date: 24.01.2024. Rad je objavljen i na sljedećim repozitorijima:
Modalna potpunost logika interpretabilnosti Horvat, Sebastijan Master's thesis Defence date: 16.07.2018. Rad je objavljen i na sljedećim repozitorijima: