Browsing by Author Ghilezan, Silvia
Showing results 62 to 81 of 139
< previous
next >
Author(s) | Title | Issue Date | Appears in | Rank |
---|---|---|---|---|
Ghilezan, Silvia | Lambda calculi with intersection types | 1991 | 9th International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden (1991); Proceedings | M34 |
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia | A lambda model characterizing computational behaviours of terms | 2001 | Rewriting in Proofs and Computation - RPC'01, Sendai, Japan, 2001; 100-118 | M32 |
Ghilezan, Silvia | Lambda račun I slabe iskazne logike | 1988 | master thesis: Matematički fakultet, Univerzitet u Beogradu | M71 |
Barendregt, Henk; Ghilezan, Silvia | Lambda terms for natural deduction, sequent calculus and cut elimination | 1-Jan-2000 | Journal of Functional Programming; 10(1); 121-134 | |
Ghilezan, Silvia | Lambek's computational approach to conjugation | 2014 | LAP 2014 - 3rd Conference Logic and Applications, September 22-26, 2014, Dubrovnik, Croatia; 7-8 | M34 |
Jakšić, Svetlana; Pantović, Jovanka; Ghilezan, Silvia | Linked data privacy | 1-Jan-2017 | Mathematical Structures in Computer Science; 27(1); 33-53 | M22 |
Šikić, Zvonimir; Ghilezan, Silvia ; Ognjanović, Zoran ; Studer, Thomas | Logic and Applications - LAP Meeting | 28-Oct-2020 | Logic, Language, and Security; 12300; 98-100 | |
Ghilezan, Silvia ; Ognjanović, Zoran ; Todorović, Milan | Matematicki metodi i zastita privatnosti | 2017 | Privatnost u digitalnom dobu: iluzija ili nacionalni izazov | M60 |
Todorović, Milan ; Ghilezan, Silvia ; Ognjanović, Zoran | Mathematical methods for privacy protection | 2018 | Book of Abstracts : Logic and Applications, LAP 2018; 7th International Conference Logic and Applications, LAP 2018, September 24 - 28, 2018 Dubrovnik,Croatia; 41-43 | M34 |
Ghilezan, Silvia | Natural deduction and sequent typed lambda calculus | 1999 | Novi Sad Journal of Mathematics; 29(2); 209-220 | |
Ghilezan, Silvia | Natural deduction versus sequent lambda calculus | 1997 | 3rd Barcelona Logic Meeting, Barcelona, Spain (1997); Proceedings | |
Ghilezan, Silvia ; Ivetić, Jelena; Savić, Nenad | Normalisation in substructural term calculi | 2015 | UNILOG 2015 - The 5th World Congress on Universal Logic, June 25-30, 2015, Istanbul, Turkey | M34 |
Ghilezan, Silvia | A note on typed combinators and typed lambda terms | 1993 | Review of Research Faculty of Science. Mathematics Series; 23(1); 319-329 | |
Pantović, Jovanka; Ghilezan, Silvia ; Žunić, Joviša | On the number of S-threshold functions on not necessarily binary input | 1-Jan-2014 | Proceedings of The International Symposium on Multiple-Valued Logic; 44th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2014; Bremen; Germany; 19 May 2014 through 21 May 2014; 13-18 | |
Ghilezan, Silvia ; Ivetić, Jelena; Savić, Nenad | An optimisation of lambda type assignments via resource control | 2015 | LAP 2015 - Logic and Applications, pp 21-22, September 20-24, 2015, Dubrovnik, Croatia; 21-22 | M34 |
Ivetić, Jelena; Ghilezan, Silvia ; Savić, Nenad | An optimization of lambda type assignment via resource control | 2015 | International Journal on Computational and Experimental Science and Engineering; Intenational Conference on Computational and Experimental Science and Engineering; 1(2); 20-23 | M34 |
Smederevac, Snežana; Pajić, Dejan; Ghilezan, Silvia ; Čolović, Petar; Milosavljević, Branko | Otvorena nauka: praksa i perspektive | 2-Apr-2020 | ||
Stefanović, Tamara; Ghilezan, Silvia | An overview of Mathematical Models of Data Privacy | Sep-2020 | Book of Abstracts : Logics and Applications - LAP 2020; 9th International Conference Logic and Applications, LAP 2020, September 21 - 25, 2020, Dubrovnik, Croatia; 27-29 | M34 |
Ghilezan, Silvia | Overview of the publication “Selected Topics in Logic in Computer Science” | 2015 | LAP 2015 - Logic and Applications, pp 21-22, September 20-24, 2015, Dubrovnik, Croatia; 19-20 | M34 |
Ghilezan, Silvia ; Pantović, Jovanka; Žunić, Joviša | Partitioning finite d-dimensional integer grids with applications | 1-Jan-2007 | Handbook of Approximation Algorithms and Metaheuristics; 55-1 |