Научни саветник др Зоран Петрић


Недостаје слика

др Зоран Петрић

Научни саветник


Телефон011 3348947
E-mail
Академско звањеНаучни саветник
Тренутно нема података о биографији запосленог!
НазивУ Установи
-

Диплома

Математичке науке

Математички факултет

1988

Изоморфне исказне формуле у категоријалној теорији доказа

Магистратура

Математичке науке

Математички факултет

1993

Једнакости изводјења у категоријалној теорији доказа

Докторат

Математичке науке

Математички факултет

1997

Критеријум продукцијеОпис
(М22) Рад у истакнутом међународном часописуIntermutation (coauthor: K. Došen), Applied Categorical Structures, 20 (2012), pp. 43-95
(М23) Рад у међународном часописуHypergraph Polytopes (co-author: K. Došen), Topology and its Applications, 158 (2011), pp. 1405–1444
(М21) Рад у врхунском међународном часописуOn Stretching the Interval Simplex-Permutohedron, Journal of Algebraic Combinatorics, 39 (2014), pp. 99-125
(М21) Рад у врхунском међународном часописуRepresenting conjunctive deductions by disjunctive deductions, (co-author: K. Došen), The Review of Symbolic Logic, 10 (2017), pp. 145-157
(М22) Рад у истакнутом међународном часописуThe n-fold reduced bar construction (co-author: S.Lj. Čukić), Journal of Homotopy and Related Structures, 13 (2018), pp. 503-543
(М22) Рад у истакнутом међународном часописуWeak Cat-Operads (co-author: K. Došen), Logical Methods in Computer Science, 11 (2015), pp. 1–23
(М22) Рад у истакнутом међународном часописуA Planarity Criterion for Graphs (co-author: K. Došen), SIAM Journal on Discrete Mathematics, 29(4) (2015), pp. 2160–2165
(М22) Рад у истакнутом међународном часописуSymmetric bimonoidal intermuting categories and ω×ω reduced bar constructions (co-author: T. Trimble), Applied Categorical Structures, 22 (2014), pp. 467-499
(М22) Рад у истакнутом међународном часописуOrdinals in Frobenius Monads (co-author: K. Došen), Journal of Pure and Applied Algebra, 217 (2013), pp. 763-778
(М22) Рад у истакнутом међународном часописуSyntax for Split Preorders (co-author: K. Došen), Annals of Pure and Applied Logic, 164 (2013), pp. 443-481
(М22) Рад у истакнутом међународном часописуGraphs of Plural Cuts (co-author: K. Došen), Theoretical Computer Science, 484 (2013), pp. 41-55
(М22) Рад у истакнутом међународном часописуCoherence in Linear Predicate Logic (co-author: K. Došen), Annals of Pure and Applied Logic, 158 (2009), pp. 125-153
(М22) Рад у истакнутом међународном часописуCoherence for Monoidal Monads and Comonads (co-author: K. Došen), Mathematical Structures in Computer Science, 20 (2010), pp. 545-561
(М22) Рад у истакнутом међународном часописуCoherence for Modalities (co-author: K. Došen), Journal of Pure and Applied Algebra, 215 (2011), pp. 1606-1628
(М22) Рад у истакнутом међународном часописуHypergraph Polytopes (co-author: K. Došen), Topology and its Applications, 158 (2011), pp. 1405–1444
(М22) Рад у истакнутом међународном часописуIntermutation (co-author: K. Došen), Applied Categorical Structures, 20 (2012), pp. 43-95
(М22) Рад у истакнутом међународном часописуIsomorphic Formulae in Classical Propositional Logic (co-author: K. Došen), Mathematical Logic Quarterly, 58 (2012), pp. 5-17
(М22) Рад у истакнутом међународном часописуShuffles and Concatenations in Constructing of Graphs (co-author: K. Došen), Mathematical Structures in Computer Science, 22, Special Issue 06 (2012), pp 904-930
(М23) Рад у међународном часописуSymmetric Self-Adjunctions and Matrices (co-author: K. Došen), Algebra Colloquium, 19, No. spec01 (2012), pp. 1051-1082
(М23) Рад у међународном часописуSegal’s multisimplicial spaces, Publications de l’ Institut Mathematique, tome 97 (111) (2015), pp. 11-21
(М23) Рад у међународном часописуSpheres as Frobenius objects (co-authors: Djordje Baralić and Sonja Telebaković), Theory and Applications of Categories, 33 (2018), pp. 691-726
ЗвањеУжа научна областВисокошколска установаДатум избора
Научни саветникМатематикаРесорно министрарство за науку19.11.2008.
Виши научни сарадникМатематикаМатематички институт - САНУ13.02.2004.
Научни сарадникМатематикаМатематички институт - САНУ10.05.2000.