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:
Date Issued:  [2020 TO 2024]

Results 1-11 of 11 (Search time: 0.003 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
8Ghilezan, Silvia ; Ivetić, Jelena; Kašterović, Simona; Ognjanović, Zoran ; Savić, NenadTowards Probabilistic Reasoning in Type Theory - The Intersection Type Case1-Jan-2020Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 11th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2020; Dortmund; Germany; 17 February 2020 through 21 February 2020; 12012 LNCS; 122-139M33
9Milićević, Luka Classification theorem for strong triangle blocking arrangements1-Jan-2020Publications de l'Institut Mathematique; 107(121); 1-36M24
10Doder, 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
11Marinković, Bojan ; Ognjanović, Zoran ; Glavan, Paola; Kos, Anton; Umek, AntonCorrectness of the chord protocol1-Jan-2020Computer Science and Information Systems; 17(1); 141-160M23