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


Project Acronym
PROJECT 174026
 
Project title
Representations of logical structures and formal languages and their application in computing
Project Coordinator
 
Start date
01-01-2011
Completion
31-12-2019
 
OA Mandate
 
Currency
EUR
 
Grant number
174026
 

Publications
(All)

Refined By:
Author:  Došen, Kosta

Results 1-6 of 6 (Search time: 0.002 seconds).

Author(s)TitleIssue DateAppears inRank
1Došen, Kosta ; Petrić, Zoran Weak cat-operads25-Mar-2015Logical Methods in Computer Science; 11(1)M22
2Došen, Kosta ; Petrić, Zoran Graphs of plural cuts6-May-2013Theoretical Computer Science; 484; 41-55M23
3Došen, Kosta ; Petrić, Zoran Ordinals in Frobenius monads1-Apr-2013Journal of Pure and Applied Algebra; 217(4); 763-778M22
4Došen, Kosta ; Petrić, Zoran Syntax for split preorders1-Apr-2013Annals of Pure and Applied Logic; 164(4); 443-481M22
5Došen, Kosta ; Petrić, Zoran Symmetric self-adjunctions and matrices1-Dec-2012Algebra Colloquium; 19(SPL. ISS. 1); 1051-1082
6Došen, Kosta ; Petrić, Zoran Hypergraph polytopes1-Aug-2011Topology and its Applications; 158(12); 1405-1444M23