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
Fundamentalna istraživanja u matematici s primjenama u obrazovnim znanostima
voditelj na ustanovi
Naziv
Akcije
Perkov, Tin
Bisimulations between Verbrugge models and Veltman models // Logic, Language, Information, and Computation. 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings. Cham: Springer, 2023. str. 305-317
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
Dedić, Žana
Matematički pojmovi u razrednoj nastavi / Perkov, Tin (mentor);
Zagreb, Učiteljski fakultet, Zagreb, . 2022
Đurđević-Tomaš, Ivana
Uvođenje pojma površine u nastavi matematike / Perkov, Tin (mentor);
Zagreb, Učiteljski fakultet, Zagreb, . 2022
Bušković, Elena
Logičko mišljenje u početnoj nastavi matematike / Perkov, Tin (mentor);
Zagreb, Učiteljski fakultet, Zagreb, . 2022
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
Perkov, Tin
Logika i stvaralaštvo // Filozofija i stvaralaštvo / Krznar, Tomislav (ur.). Zagreb: Hrvatsko filozofsko društvo ; Učiteljski fakultet Sveučilišta u Zagrebu, 2021. str. 103-108
Perkov, Tin ; Mikec, Luka
Tableau-based translation from first-order logic to modal logic // Reports on Mathematical Logic, 56 (2021), 57-74. doi: 10.4467/20842589RM.21.006.14375