Browsing by Author Ivetić, Jelena
Showing results 21 to 21 of 21
< previous
Author(s) | Title | Issue Date | Appears in | Rank |
---|---|---|---|---|
Ghilezan, Silvia ; Ivetić, Jelena; Kašterović, Simona; Ognjanović, Zoran ; Savić, Nenad | Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case | 1-Jan-2020 | Lecture 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-139 | M33 |