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)


Results 61-79 of 79 (Search time: 0.005 seconds).

Author(s)TitleIssue DateAppears inRank
61Ghilezan, Silvia ; Ivetić, Jelena; Savić, NenadAn optimisation of lambda type assignments via resource control2015LAP 2015 - Logic and Applications, pp 21-22, September 20-24, 2015, Dubrovnik, Croatia; 21-22M34
62Petrić, Zoran On stretching the interval simplex-permutohedron1-Feb-2014Journal of Algebraic Combinatorics; 39(1); 99-125M21
63Ikodinović, Nebojša; Rašković, Miodrag ; Marković, Zoran ; Ognjanović, Zoran A first-order probabilistic logic with approximate conditional probabilities1-Jan-2014Logic Journal of the IGPL; 22(4); 539-564M21
64Ilić-Stepić, Angelina ; Ognjanović, Zoran ; Ikodinović, NebojšaConditional p-adic probability logic1-Jan-2014International Journal of Approximate Reasoning; 55(9); 1843-1865M21
65Ghilezan, Silvia ; Pantović, Jovanka; Vojvodić, GradimirBinary relations and algebras on multisets1-Jan-2014Publications de l'Institut Mathematique; 95(109); 111-117M23
66Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Likavec, SilviaApproaching substructural term calculi via the resource control calculus2014LAP 214 - 3rd Conference Logic and Applications, Dubrovnik, 22-26 Septembar; 12-14M34
67Ghilezan, Silvia Lambek's computational approach to conjugation2014LAP 2014 - 3rd Conference Logic and Applications, September 22-26, 2014, Dubrovnik, Croatia; 7-8M34
68Ghilezan, Silvia Computational approach to conjugation2014VLP 2014 - Probabilistic Logic and Application, October 2-3, 2014, Belgrade, Serbia; 33M34
69Miloševič, Miloš; Ognjanović, Zoran A first-order conditional probability logic with iterations26-Jul-2013Publications de l'Institut Mathematique; 93(107); 19-27M23
70Krapež, Aleksandar Quadratic level quasigroup equations with four variables II: The lattice of varieties26-Jul-2013Publications de l'Institut Mathematique; 93(107); 29-47M23
71Doder, Dragan; Grant, John; Ognjanović, Zoran Probabilistic logics for objects located in space and time1-Jun-2013Journal of Logic and Computation; 23(3); 487-515M22
72Došen, Kosta ; Petrić, Zoran Graphs of plural cuts6-May-2013Theoretical Computer Science; 484; 41-55M23
73Došen, Kosta ; Petrić, Zoran Ordinals in Frobenius monads1-Apr-2013Journal of Pure and Applied Algebra; 217(4); 763-778M22
74Došen, Kosta ; Petrić, Zoran Syntax for split preorders1-Apr-2013Annals of Pure and Applied Logic; 164(4); 443-481M22
75Došen, Kosta ; Petrić, Zoran Symmetric self-adjunctions and matrices1-Dec-2012Algebra Colloquium; 19(SPL. ISS. 1); 1051-1082
76Ognjanović, 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
77Ilić-Stepić, Angelina ; Ognjanović, Zoran ; Ikodinović, Nebojša; Perović, AleksandarA p-adic probability logic1-Aug-2012Mathematical Logic Quarterly; 58(4-5); 263-280M22
78Mijajlović, Žarko; Doder, Dragan; Ilić Stepić, Angelina Borel sets and countable models1-Dec-2011Publications de l'Institut Mathematique; 90(104); 1-11M24
79Došen, Kosta ; Petrić, Zoran Hypergraph polytopes1-Aug-2011Topology and its Applications; 158(12); 1405-1444M23