Pregled po projektu: Izračunljive strukture, odlučivost i složenost (CompStruct) (MB: HRZZ-IP-2018-01-7459)
Pronađeno 24 radova
-
1.Mikec, LukaComplexity of the interpretability logics ILW and ILP // Logic journal of the igpl, 31 (2023), 1; 194-213 doi:10.1093/jigpal/jzac042 (međunarodna recenzija, članak, znanstveni)
-
2.Goris, Evan; Bílková, Marta; Joosten, Joost J.; Mikec, LukaTheory and application of labelling techniques for interpretability logics // Mathematical logic quarterly, 68 (2022), 3; 352-374 doi:10.1002/malq.202200015 (međunarodna recenzija, članak, znanstveni)
-
3.Horvat, Sebastijan; Perkov, Tin; Vuković, MladenA new notion of bisimulations of Verbrugge semantics // Abstracts 7th Croatian Mathematical Congress
Split, Hrvatska, 2022. str. 44-45 (predavanje, sažetak, znanstveni) -
4.Horvat, Sebastijan; Perkov, Tin; Vuković, MladenA good method of transforming Veltman into Verbrugge models // Logic and Applications 2022 Book of Abstracts
Dubrovnik, Hrvatska, 2022. str. 22-23 (predavanje, sažetak, znanstveni) -
5.Horvat, SebastijanBisimulations for generalized Veltman semantics // 6. Simpozij studenata doktorskih studija PMF-a KNJIGA SAŽETAKA
Zagreb, Hrvatska, 2022. str. 184-185 (poster, sažetak, znanstveni) -
6.Iljazović, Zvonko; Jelić, MateaComputability of chainable graphs // 7th Croatian Mathematical Congress / Ćurković, Andrijana (ur.).
Split: Mathematical Society : University of Split, Faculty of Science, 2022. (poster, podatak o recenziji nije dostupan, neobjavljeni rad, znanstveni) -
7.Adlešić, Tin; Čačić, VedranA modern rigorous approach to stratification in NF/NFU // Logica universalis, 16 (2022), 451-468 doi:10.1007/s11787-022-00310-y (međunarodna recenzija, članak, znanstveni)
-
8.Horvat, SebastijanBisimulation games for (generalized) Veltman semantics // Logic and Application 2021 Book of Abstracts
Dubrovnik, Hrvatska, 2021. str. 78-79 (predavanje, sažetak, znanstveni) -
9.Horvat, Sebastijan; Perkov, Tin; Vuković, Mladenn-bisimulations for generalised Veltman semantics // Logic and Applications 2021 Book of Abstracts
Dubrovnik, Hrvatska, 2021. str. 31-32 (predavanje, sažetak, znanstveni) -
10.Čelar, Matea; Iljazović, ZvonkoComputability of glued manifolds // Journal of logic and computation, 32 (2021), 1; 65-97 doi:10.1093/logcom/exab063 (međunarodna recenzija, članak, znanstveni)
-
11.Perkov, Tin; Mikec, LukaTableau-based translation from first-order logic to modal logic // Reports on Mathematical Logic, 56 (2021), 57-74 doi:10.4467/20842589RM.21.006.14375 (međunarodna recenzija, članak, znanstveni)
-
12.Perkov, TinA note on logicality of generalized quantifiers // Logica Universalis, 15 (2021), 149-152 doi:10.1007/s11787-021-00271-8 (međunarodna recenzija, članak, znanstveni)
-
13.Iljazović, Zvonko; Validžić, LucijaComputable sequences and isometries // Logic and Applications 2021, LAP 2021: Book of Abstracts
Dubrovnik, Hrvatska, 2021. str. 58-60 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
14.Burnik, Konrad; Iljazović, ZvonkoDense computability structures // Journal of complexity, 65 (2021), 101543, 24 doi:10.1016/j.jco.2020.101543 (međunarodna recenzija, članak, znanstveni)
-
15.Čelar, Matea; Iljazović, ZvonkoComputability of Products of Chainable Continua // Theory of computing systems, 65 (2021), 410-427 doi:10.1007/s00224-020-10017-6 (međunarodna recenzija, članak, znanstveni)
-
16.Iljazović, Zvonko; Validžić, LucijaIsometries and the equivalence of the effective separating sequences // CCA 2020: Abstract Booklet
online, 2020. str. 36-37 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
17.Iljazović, ZvonkoComputability of graphs // Mathematical logic quarterly, 66 (2020), 1; 51-64 doi:10.1002/malq.201900025 (međunarodna recenzija, članak, znanstveni)
-
18.Horvat, Marko; Iljazović, Zvonko; Pažek, BojanComputability of pseudo-cubes // Annals of pure and applied logic, 171 (2020), 8; 102823, 21 doi:10.1016/j.apal.2020.102823 (međunarodna recenzija, članak, znanstveni)
-
19.Mikec, Luka; Vuković, MladenInterpretability logics and generalised veltman semantics // The Journal of symbolic logic, 85 (2020), 2; 749-772 doi:10.1017/jsl.2020.7 (međunarodna recenzija, članak, znanstveni)
-
20.Perkov, Tin; Mikec, LukaExistential definability of modal frame classes // Mathematical logic quarterly, 66 (2020), 316-325 doi:10.1002/malq.201900061 (međunarodna recenzija, članak, znanstveni)
-
21.Perkov, TinThe McCulloch–Pitts paper from the perspective of mathematical logic // Guide to Deep Learning Basics. Logical, Historical and Philosophical Perspectives / Skansi, Sandro (ur.).
Cham: Springer, 2020. str. 7-12 doi:10.1007/978-3-030-37591-1_2 -
22.Horvat, SebastijanSmart labels // Logic and Applications 2019 Book of Abstracts
Dubrovnik, Hrvatska, 2019. str. 19-20 (predavanje, sažetak, znanstveni) -
23.Iljazović, Zvonko; Jelić, MateaComputability of spaces with attached arcs // Sixteenth International Conference on Computability and Complexity in Analysis 2019 - Book of abstracts
Zagreb, Hrvatska, 2019. str. 26-27 (predavanje, podatak o recenziji nije dostupan, sažetak, znanstveni) -
24.Čičković, Eugen; Iljazović, Zvonko; Validžić, LucijaChainable and circularly chainable semicomputable sets in computable topological spaces // Archive for mathematical logic, 58 (2019), 885-897 doi:10.1007/s00153-019-00667-w (međunarodna recenzija, članak, znanstveni)
