Pregled po projektu: Geometrija Frobeniusa (MB: MZOS-037-0372781-2809)
Pronađeno 26 radova
-
1.Gavran, Ivan; Vuković, MladenLogička analiza hibridnih sustava // Poučak : časopis za metodiku i nastavu matematike, 15 (2014), 58; 4-16 (podatak o recenziji nije dostupan, članak, stručni)
-
2.Čačić, Vedran; Vuković, MladenInterpretability logic IL does not have finite subtree property // Rad Hrvatske akademije znanosti i umjetnosti. Razred za matematičke, fizičke i kemijske znanosti. Matematičke znanosti, 18=519 (2014), 1-5 (podatak o recenziji nije dostupan, članak, znanstveni)
-
3.Perkov, Tin; Vuković, MladenA bisimulation characterization for interpretability logic // Logic journal of the igpl, 22 (2014), 6; 872-879 doi:10.1093/jigpal/jzu015 (međunarodna recenzija, članak, znanstveni)
-
4.Tomašić, IvanA twisted theorem of Chebotarev // Proceedings of the London Mathematical Society, 108 (2013), 2; 291-326 doi:10.1112/plms/pdt034 (međunarodna recenzija, članak, znanstveni)
-
5.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)
-
6.Č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)
-
7.Shahn, Majid; Tomašić, IvanOn braided zeta functions // Bulletin of Mathematical Sciences, 1 (2011), 2; 379-396 doi:10.1007/s13373-011-0006-3 (međunarodna recenzija, članak, znanstveni)
-
8.Vuković, MladenPrimijenjena logika
Zagreb: PMF-Matematički odsjek, 2011 -
9.Vuković, MladenSloženost algoritama
Zagreb: PMF-Matematički odsjek, 2011 -
10.Tomašić, IvanTwisted Galois stratification // Comptes rendus. Mathématique, 349 (2011), 15/16; 827-830 (međunarodna recenzija, članak, znanstveni)
-
11.Vuković, MladenA note on ultraproducts of Veltman models // Glasnik matematički, 46(66) (2011), 7-10 (međunarodna recenzija, članak, znanstveni)
-
12.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)
-
13.Vuković, MladenTeorija skupova
Zagreb: PMF-Matematički odsjek, 2010 -
14.Vuković, Milana; Vuković, MladenU potrazi za skupovima // Poučak : časopis za metodiku i nastavu matematike, 11 (2010), 41; 61-69 (podatak o recenziji nije dostupan, članak, stručni)
-
15.Novak, Andrej; Vuković, MladenStudij matematike u Zagrebu // Matematičko fizički list, 61 (2010), 1; 59-66 (podatak o recenziji nije dostupan, članak, stručni)
-
16.Čačić, Vedran; Doko, Marko; Horvat, Marko; Vrgoč, DomagojChanging the order of summation for series beyond omega // The Bulletin of Symbolic Logic
Sofija, Bugarska: ASL, 2010. 1, 1 (predavanje, međunarodna recenzija, sažetak, znanstveni) -
17.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)
-
18.Tomašić, IvanA twisted theorem of Chebotarev // Comptes rendus. Mathématique, 347 (2009), 7/8; 385-388 doi:10.1016/j.crma.2009.02.015 (međunarodna recenzija, članak, znanstveni)
-
19.Vuković, MladenO aksiomu izbora, cipelama i čarapama // Poučak, 9 (2009), 39; 54-60 (podatak o recenziji nije dostupan, članak, stručni)
-
20.Vuković, MladenMatematička logika
Zagreb: Element, 2009 -
21.Tomašić, IvanFields with measure and automorphism // Bulletin of the London Mathematical Society, 41 (2009), 3; 429-440 doi:10.1112 (međunarodna recenzija, članak, znanstveni)
-
22.Vuković, MladenIzračunljivost
Zagreb: PMF-Matematički odjel, 2009 -
23.Tomašić, IvanConstructible sheaves and definability // Lecture Notes in Logic 29
London : Delhi: Cambridge University Press, 2008. str. 187-196 (pozvano predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
24.Bruckler, Franka, Miriam; Čačić, Vedran; Doko, Marko; Vuković, MladenZbirka zadataka iz teorije skupova
Zagreb: PMF-Matematički odjel, 2008 -
25.Vuković, MladenBisimulations between generalized Veltman models and Veltman models // Mathematical logic quarterly, 54 (2008), 4; 359-364 (međunarodna recenzija, članak, znanstveni)
