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:
Type:  Article

Results 1-20 of 54 (Search time: 1.234 seconds).

Author(s)TitleIssue DateAppears inRank
1Ilić, Velimir ; Đorđević, IvanOn the α-q-mutual information and the α-q-capacities1-Jun-2021Entropy; 23(6); 702~M22
2Zekić, Mladen Biproducts in monoidal categories2021Publications de l'Institut Mathematique; 110(124); 1-9M24
3Gowers, Tim; Milićević, Luka A bilinear version of Bogolyubov’s theorem1-Nov-2020Proceedings of the American Mathematical Society; 148(11); 4695-4704M22
4Moconja, Slavko; Tanović, Predrag Stationarily ordered types and the number of countable models1-Mar-2020Annals of Pure and Applied Logic; 171(3)M21
5Tomović, Siniša ; Ognjanović, Zoran ; Doder, DraganA First-order Logic for Reasoning about Knowledge and Probability2-Feb-2020ACM Transactions on Computational Logic; 21(2); 16:1-16:30M22
6Milićević, Luka An improved upper bound for the grid Ramsey problem1-Jan-2020Journal of Graph Theory; 94(4); 509-517M22
7Gajović, Stevan; Petrić, Zoran ; Telebaković Onić, SonjaA faithful 2-dimensional TQFT1-Jan-2020Homology, Homotopy and Applications; 22(1); 391-399M23
8Milićević, Luka Classification theorem for strong triangle blocking arrangements1-Jan-2020Publications de l'Institut Mathematique; 107(121); 1-36M24
9Doder, Dragan; Savić, Nenad; Ognjanović, Zoran Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities1-Jan-2020Journal of Logic, Language and Information; 29; 77-107M21
10Marinković, Bojan ; Ognjanović, Zoran ; Glavan, Paola; Kos, Anton; Umek, AntonCorrectness of the chord protocol1-Jan-2020Computer Science and Information Systems; 17(1); 141-160M23
11Ilić, Velimir ; Scarfone, Antonio Maria; Wada, TatsuakiEquivalence between four versions of thermostatistics based on strongly pseudoadditive entropies26-Dec-2019Physical Review E; 100(6)M21
12Baralić, Đorđe ; Ivanović, Jelena; Petrić, Zoran A simple permutoassociahedronDec-2019Discrete Mathematics; 342(12)M22
13Milićević, Luka Polynomial bound for partition rank in terms of analytic rank1-Oct-2019Geometric and Functional Analysis; 29(5); 1503-1530M21a
14Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran ; Studer, ThomasA temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol1-Sep-2019Journal of Logic and Computation; 29(5); 803-830M21
15Krapež, Aleksandar ; Šešelja, Branimir; Tepavčević, Andreja Solving linear equations by fuzzy quasigroups techniques1-Jul-2019Information Sciences; 491; 179-189M21a
16Milićević, Luka Covering complete graphs by monochromatically bounded sets1-Apr-2019Applicable Analysis and Discrete Mathematics; 13(1); 85-110M21
17Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Scalas, Alceste; Yoshida, NobukoPrecise subtyping for synchronous multiparty sessions1-Apr-2019Journal of Logical and Algebraic Methods in Programming; 104; 127-173M21
18Marinković, Bojan ; Glavan, Paola; Ognjanović, Zoran Proving properties of the Chord protocol using the ASM formalism17-Jan-2019Theoretical Computer Science; 756; 64-93M23
19Downen, Paul; Ariola, Zena; Ghilezan, Silvia The Duality of Classical Intersection and Union Types1-Jan-2019Fundamenta Informaticae; 170(1-3); 39-92M22
20Kordić, Branislav; Popović, Miroslav; Ghilezan, Silvia Formal verification of python software transactional memory based on timed automata1-Jan-2019Acta Polytechnica Hungarica; 16(7); 197-216M22