Loading... 3 0 20 0 false
Full Name
Petrić, Zoran
Scopus Author ID
Country
Serbia
Loading... 2 0 20 0 false


Results 1-2 of 2 (Search time: 0.001 seconds).

Author(s)TitleIssue DateAppears inRank
1Petrić, Zoran Jednakosti izvođenja u kategorijalnoj teoriji dokaza1997doctoral thesis: Matematički fakultet, Univerzitet u BeograduM70
2Petrić, Zoran Izomorfne iskazne formule u kategorijalnoj teoriji dokaza1993master thesis: Matematički fakultet, Univerzitet u BeograduM71

Projects
(Co-Investigators)



Results 1-4 of 4 (Search time: 0.001 seconds).

AcronymTitleStart dateCompletionP-Investigator
PROJECT 144029Models, Languages, Types, and Processes in Computing01-01-200631-12-2010Ghilezan, Silvia
PROJECT 1630Representation of Proofs with Applications, Classification of Structures and Infinite Combinatorics01-01-200231-12-2005Došen, Kosta
PROJECT 174026Representations of logical structures and formal languages and their application in computing01-01-201131-12-2019Ghilezan, Silvia
PROJECT 144013Representations of logical structures and their application in computer science01-01-200631-12-2010Ognjanović, Zoran