Representations of logical structures and formal languages and their application in computing

View Statistics Email Alert

Primary Data

Project Acronym
PROJECT 174026
 
Project title
Representations of logical structures and formal languages and their application in computing
Project Coordinator
Co-Investigator(s)
Project URL
 
Start date
01-01-2011
Completion
31-12-2019
 

Grants

OA Mandate
 
Currency
EUR
 
Grant number
174026
 

Publications
(All)


Refined By:
Author:  Petrić, Zoran

Results 1-14 of 14 (Search time: 0.006 seconds).

Author(s)TitleIssue DateAppears inRank
1Gajović, Stevan; Petrić, Zoran ; Telebaković Onić, SonjaA faithful 2-dimensional TQFT1-Jan-2020Homology, Homotopy and Applications; 22(1); 391-399M23
2Baralić, Đorđe ; Ivanović, Jelena; Petrić, Zoran A simple permutoassociahedronDec-2019Discrete Mathematics; 342(12)M22
3Čukić, Sonja Lj.; Petrić, Zoran The n-fold reduced bar construction1-Sep-2018Journal of Homotopy and Related Structures; 13(3); 503-543
4Baralić, Djordje ; Petrić, Zoran ; Telebaković, SonjaSpheres as frobenius objects18-Jul-2018Theory and Applications of Categories; 33; 691-726M23
5Krapež, Aleksandar ; Petrić, Zoran A note on semisymmetry1-Jan-2017Quasigroups and Related Systems; 25(2); 269-278
6Došen, Kosta ; Petrić, Zoran Weak cat-operads25-Mar-2015Logical Methods in Computer Science; 11(1)M22
7Petrić, Zoran Segal's multisimplicial spaces1-Jan-2015Publications de l'Institut Mathematique; 97(111); 11-21M24
8Petrić, Zoran 270 Minutes on Categorial Proof Theory2015Logic in Computer Science; 18(26); 7-35M14
9Petrić, Zoran On stretching the interval simplex-permutohedron1-Feb-2014Journal of Algebraic Combinatorics; 39(1); 99-125M21
10Došen, Kosta ; Petrić, Zoran Graphs of plural cuts6-May-2013Theoretical Computer Science; 484; 41-55M23
11Došen, Kosta ; Petrić, Zoran Ordinals in Frobenius monads1-Apr-2013Journal of Pure and Applied Algebra; 217(4); 763-778M22
12Došen, Kosta ; Petrić, Zoran Syntax for split preorders1-Apr-2013Annals of Pure and Applied Logic; 164(4); 443-481M22
13Došen, Kosta ; Petrić, Zoran Symmetric self-adjunctions and matrices1-Dec-2012Algebra Colloquium; 19(SPL. ISS. 1); 1051-1082
14Došen, Kosta ; Petrić, Zoran Hypergraph polytopes1-Aug-2011Topology and its Applications; 158(12); 1405-1444M23