Pronađeno 57 radova, za izraz:
"PROJEKT: (Matematička logika i primjene (MZOS-120-1203164-3074))"
DODAJ/IZMIJENI OPERATORE PRETRAŽIVANJA
-
26.Šikić, ZvonimirTangenta // Poučak : časopis za metodiku i nastavu matematike, 52 (2012), 1-10 (podatak o recenziji nije dostupan, članak, stručni)
-
27.Šikić, ZvonimirFisherovo testiranje hipoteza i Laplaceovo računanje vjerojatnosti // 5. kongres nastavnika matematike / Ivan Ivanšić (ur.).
Zagreb: Hrvatsko matematičko društvo, 2012. str. 554-562 (predavanje, domaća recenzija, cjeloviti rad (in extenso), stručni) -
28.Šikić, ZvonimirKako usporediti razdiobe // 5. kongres nastavnika matematike / Ivan Ivanšić (ur.).
Zagreb: Hrvatsko matematičko društvo, 2012. str. 551-554 (predavanje, domaća recenzija, cjeloviti rad (in extenso), stručni) -
29.Maretić, MarcelAlgoritamska ekvivalencija multiplarnih dedukcija i Bethovih tabloa // Sustavi dokazivanja
Dubrovnik, Hrvatska, 2012. (predavanje, međunarodna recenzija, sažetak, znanstveni) -
30.Perkov, Tin; Vuković, MladenSome characterization and preservation theorems in modal logic // Annals of pure and applied logic, 163 (2012), 12; 1928-1939 doi:10.1016/j.apal.2012.07.001 (međunarodna recenzija, članak, znanstveni)
-
31.Čačić, Vedran; Vuković, MladenA note on normal form for closed fragment of system IL // Mathematical communications, 17 (2012), 1; 195-204 (podatak o recenziji nije dostupan, članak, znanstveni)
-
32.Nigam, Vivek; Ban Kirigin, Tajana; Scedrov, Andre; Talcott, Carolyn; Kanovich, Max; Perovic, RankoTowards an Automated Assistant for Clinical Investigations // ACM Digital Library / Luo, Gang ; Liu, Jiming ; Yang, Christopher C. (ur.).
Miami (FL), Sjedinjene Američke Države: ACM, 2012. str. 773-778 doi:10.1145/2110363.2110456 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
33.Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, AndreBounded memory Dolev-Yao adversaries in collaborative systems // Lecture Notes in Computer Science, Volume 6561 / Degano, Pierpaolo ; Etalle, Sandro and Guttman, Joshua D. (ur.).
Pisa, Italija: Springer, 2011. str. 18-33 doi:10.1007/978-3-642-19751-2_2 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
34.Hatzivelkos, AleksandarParametri optimalne reprezentabilnosti D'Hondtove metode // Poučak : časopis za metodiku i nastavu matematike, 48 (2011), 4-19 (podatak o recenziji nije dostupan, članak, stručni)
-
35.Šikić, ZvonimirGeneralized Pythagorean Comma // Introduction of CroArtScia2011 / Meštrić Vesna ; Nikolić, Sonja (ur.).
Zagreb: Muzej suvremene umjetnosti, 2011. str. 1-2 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
36.Čačić, Vedran; Vrgoč, DomagojA Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic // Studia Logica, 101 (2011), 1; 31-44 doi:10.1007/s11225-011-9366-7 (međunarodna recenzija, članak, znanstveni)
-
37.Čačić, VedranNormalne forme i svojstvo konačnih modela za logiku interpretabilnosti, 2011., doktorska disertacija, Prirodoslovno-matematički fakultet, Zagreb
-
38.Ban Kirigin, TajanaComputational complexity of collaborative systems with nonce creation, 2011., doktorska disertacija, Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb
-
39.Vuković, MladenA note on ultraproducts of Veltman models // Glasnik matematički, 46(66) (2011), 7-10 (međunarodna recenzija, članak, znanstveni)
-
40.Domagoj, Vrgoč; Mladen VukovićBisimulation quotients of Veltman models // Reports on Mathematical Logic, 46 (2011), 59-73 doi:10.4467/20842589RM.11.004.0282 (međunarodna recenzija, članak, znanstveni)
-
41.Čačić, VedranTowards the normal form theorem for Interpretability logic // Logic Colloquium
Pariz, Francuska, 2010. str. 1-1 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
42.Botinčan, Matko; Glavan, Paola; Runje, DavorVerication of Causality Requirements in Java Memory Model is Undecidable // Proceedings of the Eighth International Conference on Parallel Processing and Applied Mathematics (PPAM 2009)
Berlin: Springer, 2010. (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
43.Domagoj, Vrgoč, Mladen, VukovićBisimulations and bismulation quotients of generalized Veltman models // Logic journal of the igpl, 18 (2010), 6; 870-880 (međunarodna recenzija, članak, znanstveni)
-
44.Maretić, MarcelŠto je kriptografija? // Matematičko fizički list, 237 (2009), 19-22 (podatak o recenziji nije dostupan, pregledni rad, stručni)
-
45.Vuković, MladenIzračunljivost
Zagreb: PMF-Matematički odjel, 2009 -
46.Glavan PaolaFormalization of the Java Memory Model, 2009., doktorska disertacija, PMF, Zagreb
-
47.Slani, NevaSecure open networks / Sigurnost otvorenih mreža, 2009., doktorska disertacija, Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb
-
48.zvonimir šikićčinjenice, rutine, pojmoivi i problem // poučak, 37 (2009), 2; 4-12 (podatak o recenziji nije dostupan, članak, stručni)
-
49.Čačić, Vedran; Pudlák, Pavel; Restall, Greg; Urquhart, Alasdair; Visser, AlbertDecorated linear order types and the theory of concatenation // Proceedings of Logic Colloquium 2007
Wrocław, Poljska, 2008. str. 1-13 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
50.Bruckler, Franka, Miriam; Čačić, Vedran; Doko, Marko; Vuković, MladenZbirka zadataka iz teorije skupova
Zagreb: PMF-Matematički odjel, 2008
