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
Slika profila

Vedran Čačić

6361

Vedran

Čačić

dr. sc.

Naziv Uloga Akcije
Izračunljive strukture, odlučivost i složenost suradnik
Naziv Akcije
Čačić, Vedran; Adlešić, Tin The Cardinal Squaring Principle and an Alternative Axiomatization of NFU // Bulletin of the Section of Logic, 52 (2023), 4; 551-581. doi: https://doi.org/10.18778/0138-0680.2023.25
Čačić, Vedran Logical induction // World Logic Day 2023 Zagreb Book of Abstracts. 2023. str. 3-3
Adlešić, Tin ; Čačić, Vedran A modern rigorous approach to stratification in NF/NFU // Logica universalis, 16 (2022), 451-468. doi: 10.1007/s11787-022-00310-y
Adlešić, Tin ; Čačić, Vedran A modern rigorous approach to stratification in NF/NFU // 7th World Congress and School on Universal Logic - Schedule of the General Session. 2022. str. 5-5
Adlešić, Tin ; Čačić, Vedran Formalizing assignment of types to terms in NFU. // Abstract of Contributed Talks / - , 2022, 24-25. 2022. str. 24-24
Adlešić, Tin ; Čačić, Vedran Tarski's theorem about choice and the alternative axiomatic extension of NFU. // Abstract of Contributed Talks. 2022. str. 24-25
Adlešić, Tin ; Čačić, Vedran Alternative axiomatization of NFU // Logic and Applications LAP 2022-Book of Abstracts. 2022. str. 5-6
Čačić, Vedran ; Horvat, Marko ; Iljazović, Zvonko Computable subcontinua of semicomputable chainable Hausdorff continua // Theoretical computer science, 892 (2021), 155-169. doi: 10.1016/j.tcs.2021.09.018
Adlešić, Tin ; Čačić, Vedran Formal approach to stratification in NF/NFU // FORMALS 2021-Book of Abstract. 2021. str. 5-6
Čačić, Vedran ; Doko, Marko ; Horvat, Marko Rearranging absolutely covergent well-ordered series in Banach spaces // Rad Hrvatske akademije znanosti i umjetnosti. Matematičke znanosti, 23 (2019), 58; 1-11. doi: 10.21857/yq32oh4qd9
nije evidentirano
nije evidentirano