Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
Horvat, Sebastijan
Games and tree unravelings for a new notion of bisimulations of Verbrugge semantics // World Logic Day 2023 Zagreb Book of Abstracts. 2023. str. 5-5
Horvat, Sebastijan ; Perkov, Tin; Vuković, Mladen
Bisimulations and bisimulation games between Verbrugge models // Mathematical logic quarterly, 69 (2023), 2; 231-243. doi: 10.1002/malq.202200042
Horvat, Sebastijan ; Perkov, Tin ; Vuković, Mladen
Bisimulations and bisimulation games between Verbrugge models // Mathematical logic quarterly, 69 (2023), 2; 231-243. doi: 10.1002/malq.202200042
Horvat, Sebastijan
Bisimulations for generalized Veltman semantics // 6. Simpozij studenata doktorskih studija PMF-a KNJIGA SAŽETAKA. 2022. str. 184-185
Horvat, Sebastijan ; Perkov, Tin ; Vuković, Mladen
A good method of transforming Veltman into Verbrugge models // Logic and Applications 2022 Book of Abstracts. 2022. str. 22-23
Horvat, Sebastijan ; Perkov, Tin ; Vuković, Mladen
A new notion of bisimulations of Verbrugge semantics // Abstracts 7th Croatian Mathematical Congress. 2022. str. 44-45
Horvat, Sebastijan
Bisimulation games for (generalized) Veltman semantics // Logic and Application 2021 Book of Abstracts. 2021. str. 78-79
Horvat, Sebastijan ; Perkov, Tin ; Vuković, Mladen
n-bisimulations for generalised Veltman semantics // Logic and Applications 2021 Book of Abstracts. 2021. str. 31-32
Horvat, Sebastijan
Smart labels // Logic and Applications 2019 Book of Abstracts. 2019. str. 19-20
Horvat, Sebastijan
Modalna potpunost logika interpretabilnosti / Vuković, Mladen ; Perkov, Tin (mentor);
Zagreb, Prirodoslovno-matematički fakultet, Zagreb, . 2018
