crta
Hrvatska znanstvena Sekcija img
bibliografija
3 gif
 Naslovna
 O projektu
 FAQ
 Kontakt
4 gif
Pregledavanje radova
Jednostavno pretraživanje
Napredno pretraživanje
Skupni podaci
Upis novih radova
Upute
Ispravci prijavljenih radova
Ostale bibliografije
Slični projekti
 Bibliografske baze podataka

Geometrija Frobeniusa
(037-0372781-2809)

 
 
 
Verzija za printanje   
 
  Udžbenici i skripta
 

1. Vuković, Mladen.
Složenost algoritama .
Zagreb : PMF-Matematički odsjek, 2011. URL link to work

2. Vuković, Mladen.
Primijenjena logika .
Zagreb : PMF-Matematički odsjek, 2011. URL link to work

3. Vuković, Mladen.
Teorija skupova .
Zagreb : PMF-Matematički odsjek, 2010. URL link to work

4. Vuković, Mladen.
Izračunljivost .
Zagreb : PMF-Matematički odjel, 2009. URL link to work

5. Vuković, Mladen.
Matematička logika .
Zagreb : Element, 2009.

6. Bruckler, Franka, Miriam; Čačić, Vedran; Doko, Marko; Vuković, Mladen.
Zbirka zadataka iz teorije skupova .
Zagreb : PMF-Matematički odjel, 2008. URL link to work

7. Vuković, Mladen.
Matematička logika 1 .
Zagreb : PMF-Matematički odjel, 2007.
Vrh
 
  Izvorni znanstveni i pregledni radovi u CC časopisima
 

1. Tomašić, Ivan.
A twisted theorem of Chebotarev. // Proceedings of the London Mathematical Society. 108 (2013) , 2; 291-326 (članak, znanstveni). URL link to workURL link to work

2. Perkov, Tin; Vuković, Mladen.
Some characterization and preservation theorems in modal logic. // Annals of pure and applied logic. 163 (2012) , 12; 1928-1939 (članak, znanstveni). URL link to workURL link to work

3. Tomašić, Ivan.
Twisted Galois stratification. // Comptes rendus. Mathématique. 349 (2011) , 15/16; 827-830 (članak, znanstveni).

4. Tomašić, Ivan.
Fields with measure and automorphism. // Bulletin of the London Mathematical Society. 41 (2009) , 3; 429-440 (članak, znanstveni). URL link to work

5. Tomašić, Ivan.
A twisted theorem of Chebotarev. // Comptes rendus. Mathématique. 347 (2009) , 7/8; 385-388 (članak, znanstveni). URL link to workURL link to work
Vrh
 
  Znanstveni radovi u drugim časopisima
 

1. Čačić, Vedran; Vuković, Mladen.
Interpretability logic IL does not have finite subtree property. // Rad Hrvatske akademije znanosti i umjetnosti. Razred za matematičke, fizičke i kemijske. 18=519 (2014) ; 1-5 (članak, znanstveni).

2. Perkov, Tin; Vuković, Mladen.
A bisimulation characterization for interpretability logic. // Logic journal of the igpl. 22 (2014) ; 872-879 (članak, znanstveni). URL link to workURL link to work

3. Čačić, Vedran; Vuković, Mladen.
A note on normal form for closed fragment of system IL. // Mathematical communications. 17 (2012) ; 195-204 (članak, znanstveni).

4. Domagoj, Vrgoč; Mladen Vuković.
Bisimulation quotients of Veltman models. // Reports on mathematical logic. 46 (2011) ; 59-73 (članak, znanstveni).

5. Shahn, Majid; Tomašić, Ivan.
On braided zeta functions. // Bulletin of Mathematical Sciences. 1 (2011) , 2; 379-396 (članak, znanstveni). URL link to workURL link to work

6. Vuković, Mladen.
A note on ultraproducts of Veltman models. // Glasnik matematički. 46(66) (2011) ; 7-10 (članak, znanstveni).

7. Domagoj, Vrgoč, Mladen, Vuković.
Bisimulations and bismulation quotients of generalized Veltman models. // Logic journal of the igpl. 18 (2010) , 6; 870-880 (članak, znanstveni).

8. Vuković, Mladen.
Bisimulations between generalized Veltman models and Veltman models. // Mathematical logic quarterly. 54 (2008) , 4; 359-364 (članak, znanstveni).
Vrh
 
  Ostali radovi u drugim časopisima
 

1. Gavran, Ivan; Vuković, Mladen.
Logička analiza hibridnih sustava. // Poučak : časopis za metodiku i nastavu matematike. 15 (2014) , 58; 4-16 (članak, stručni).

2. Novak, Andrej; Vuković, Mladen.
Studij matematike u Zagrebu. // Matematičko fizički list. 61 (2010) , 1; 59-66 (članak, stručni).

3. Vuković, Milana; Vuković, Mladen.
U potrazi za skupovima. // Poučak : časopis za metodiku i nastavu matematike. 11 (2010) , 41; 61-69 (članak, stručni).

4. Vuković, Mladen.
O aksiomu izbora, cipelama i čarapama. // Poučak. 9 (2009) , 39; 54-60 (članak, stručni).
Vrh
 
  Radovi u postupku objavljivanja
 

1. Tomašić, Ivan.
Twisted Galois stratification. // Nagoya mathematical journal. (2013) (prihvaćen za objavljivanje).
Vrh
 
  Objavljena pozvana predavanja na skupovima
 

1. Tomašić, Ivan.
Constructible sheaves and definability // Lecture Notes in Logic 29.
London : Cambridge University Press, 2008. 187-196 (pozvano predavanje,međunarodna recenzija,objavljeni rad,znanstveni).
Vrh
 
  Sažeci u zbornicima skupova
 

1. Čačić, Vedran; Doko, Marko; Horvat, Marko; Vrgoč, Domagoj.
Changing the order of summation for series beyond omega // The Bulletin of Symbolic Logic.
ASL, 2010. (predavanje,međunarodna recenzija,sažetak,znanstveni).
Vrh
 
upomoc
foot_4