Zarko Mijajlovic

Publication Activity (10 Years)

Years Active: 1983-2013
Publications (10 Years): 0

Top Topics

Boolean Functions

Statistical Models

Top Venues

Publications

Zarko Mijajlovic, Aleksandar Pejovic
Computing finite models using free Boolean generators. CoRR (2013)
Zarko Mijajlovic, Zoran Ognjanovic, Aleksandar Pejovic
Digitization of Mathematical Editions in Serbia. Math. Comput. Sci. 3 (3) (2010)
Zarko Mijajlovic, Zoran Ognjanovic, Aleksandar Pejovic
Digitization of Scientific Journals in Serbia. ELPUB (2007)
Radosav Djordjevic, Nebojsa Ikodinovic, Zarko Mijajlovic
Completeness theorem for topological class models. Arch. Math. Log. 46 (1) (2007)
Dragan Blagojevic, Zarko Mijajlovic, Zoran Ognjanovic
Electronic Editions of Mathematical Works in Serbia. ELPUB (2005)
Winfried Just, Zarko Mijajlovic
Separation Properties of Ideals Over ω. Math. Log. Q. 33 (3) (1987)
Zarko Mijajlovic
On the definability of the quantifier "there exist uncountably many". Stud Logica 44 (3) (1985)
Zarko Mijajlovic
Submodels and definable points in models of Peano arithmetic. Notre Dame J. Formal Log. 24 (4) (1983)
Zarko Mijajlovic, Valentina S. Harizanov
Regular Relations and the Quantifier "There Exist uncountably Many". Math. Log. Q. 29 (3) (1983)