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:
Rank:  M23

Results 1-10 of 10 (Search time: 0.004 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
2Marinković, Bojan ; Ognjanović, Zoran ; Glavan, Paola; Kos, Anton; Umek, AntonCorrectness of the chord protocol1-Jan-2020Computer Science and Information Systems; 17(1); 141-160M23
3Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran Proving properties of the Chord protocol using the ASM formalism17-Jan-2019Theoretical Computer Science; 756; 64-93M23
4Baralić, Djordje ; Petrić, Zoran ; Telebaković, SonjaSpheres as frobenius objects18-Jul-2018Theory and Applications of Categories; 33; 691-726M23
5Ghilezan, Silvia ; Pantović, Jovanka; Vojvodić, GradimirBinary relations and algebras on multisets1-Jan-2014Publications de l'Institut Mathematique; 95(109); 111-117M23
6Miloševič, Miloš; Ognjanović, Zoran A first-order conditional probability logic with iterations26-Jul-2013Publications de l'Institut Mathematique; 93(107); 19-27M23
7Krapež, Aleksandar Quadratic level quasigroup equations with four variables II: The lattice of varieties26-Jul-2013Publications de l'Institut Mathematique; 93(107); 29-47M23
8Došen, Kosta ; Petrić, Zoran Graphs of plural cuts6-May-2013Theoretical Computer Science; 484; 41-55M23
9Ognjanović, Zoran ; Marković, Zoran ; Rašković, Miodrag ; Doder, Dragan; Perović, AleksandarA propositional probabilistic logic with discrete linear time for reasoning about evidence24-Aug-2012Annals of Mathematics and Artificial Intelligence; 65(2-3); 217-243M23
10Došen, Kosta ; Petrić, Zoran Hypergraph polytopes1-Aug-2011Topology and its Applications; 158(12); 1405-1444M23