еНаука - преглед
Преглед према Аутор Gilezan, Silvia
Приказ резултата 21 до 40 од 182
< претходно
следеће >
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2008 | Characterising strongly normalising intuitionistic sequent terms | Espírito Santo, José; Ghilezan, Silvia   ; Ivetić, Jelena | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2017 | Characterization of strong normalizability for a lambda-calculus with co-control | Espirito Santo, Jose; Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2017 | Characterization of strong normalizability for a sequent lambda calculus with co-control | Gilezan, Silvia K. ; J. Espirito Santo | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2004 | Characterizing strong normalization in a language with control operators | Dougherty, Dan; Ghilezan, Silvia ; Lescanne, Pierre | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2008 | Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage | Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
| 2014 | Church-Rosser Theorem for sequent lambda calculi | Ghilezan, Silvia ; Ivetić, Jelena; Likaves, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2004 | Classical Proofs, Typed Processes, and Intersection Types | Ghilezan, Silvia ; Lescanne, Pierre | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
| 2015 | Combining behavioural types with security analysis | Bartoletti, Massimo; Castellani, Ilaria; Deniélou, Pierre-Malo; Dezani-Ciancaglini, Mariangiola; Gilezan, Silvia ; Pantović, Jovanka ; Pérez, Jorge A.; Thiemann, Peter; Toninho, Bernardo; Vieira, Hugo Torres | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
| 2014 | Computational approach to conjugation | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2012 | Computational interpretation of classical logic with explicit structural rules | Silvia Ghilezan ; Pierre Lescanne; Žunić, Dragiša | Остало | Мп категорија ће бити приказана накнадно. |
| 2010 | Computational interpretations of logic | Gilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2009 | Computational interpretations of logics | Ghilezan, Silvia ; Likavec, Silvia | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2001 | Confluence of untyped lambda calculus via simple types | Ghilezan, Silvia ; Kunčak, Viktor | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
| 1994 | Conjugation in SerboCroatian | Ghilezan, Silvia | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2013 | Constructive approach to relevant and affine term calculi | Gilezan, Silvia ; Ivetić, Jelena ; Pierre Lescanne; Likavec, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2023 | Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP | Prokić, Ivan ; Ghilezan, Silvia ; Kašterović, Simona ; Popović, Miroslav ; Popović, Marko; Kaštelan, Ivan | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2024 | Correct Orchestration of Federated Learning Generic Algorithms: Formalisation and Verification in CSP | Prokić, Ivan ; Ghilezan, Silvia ; Kašterović, Simona ; Popovic, Miroslav ; Popovic, Marko; Kaštelan, Ivan | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
| 1997 | Cut elimination in the simply typed lambda calculus | Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2019 | Denotational and Operational Preciseness of Subtyping | Gilezan, Silvia K. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2017 | Denotational and Operational Preciseness of Subtyping | Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |