Ghilezan, Silvia
Loading...
3
0
20
0
false
Full Name
Ghilezan, Silvia
ORCID
Scopus Author ID
Country
Serbia
Loading...
2
0
20
0
false
Date issued
Type
Results 1-13 of 13 (Search time: 0.002 seconds).
Author(s) | Title | Issue Date | Appears in | Rank | |
---|---|---|---|---|---|
1 | Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Likavec, Silvia | Structural rules and resource control in logic and computation | 2015 | Logic in Computer Science; 18(26); 79-109 | M14 |
2 | Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Likavec, Silvia | Intersection types fit well with resource control | 2015 | 21. Intenational conference on Types for Proofs and Programs - TYPES 2015, May 2015, Tallin, Estonia | M34 |
3 | Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Likavec, Silvia | Some advantages of the lambda calculi with resource control | 2014 | Matematička konferencija Republike Srpske, Trebinje, 6-7 Jun, 2014 | M34 |
4 | Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Likavec, Silvia | Approaching substructural term calculi via the resource control calculus | 2014 | LAP 214 - 3rd Conference Logic and Applications, Dubrovnik, 22-26 Septembar; 12-14 | M34 |
5 | Ghilezan, Silvia ; Likavec, Silvia | Reducibility method and resource control | 2013 | UNILOG 2013 - The 4th World Congress on Universal Logic, 29/03-04/04/2013, Rio de Janeiro, Brasil; 161-162 | |
6 | Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Likavec, Silvia | Intersection types for explicit substitution with resource control | 2012 | Sixth Workshop on Intersection Types and Related Systems (ITRS 2012) | |
7 | Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Likavec, Silvia | Intersection types for the resource control lambda calculi | 19-Sep-2011 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011; Johannesburg; South Africa; 31 August 2011 through 2 September 2011; 6916 LNCS; 116-134 | M33 |
8 | Ghilezan, Silvia ; Likavec, Silvia | Computational interpretations of logics | 2009 | Zbornik Radova; 12(20); 159-215 | M14 |
9 | Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre; Likavec, Silvia | Strong normalization of the dual classical sequent calculus | 1-Jan-2005 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2005; Montego Bay; Jamaica; 2 December 2005 through 6 December 2005; 3835 LNAI; 169-183 | M22 |
10 | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Likavec, Silvia | Behavioural inverse limit λ-models | 28-May-2004 | Theoretical Computer Science; 316(1-3); 49-74 | M22 |
11 | Ghilezan, Silvia ; Likavec, Silvia | Extensions of the reducibility method | 2003 | PLS4 - The 4th Panhellenic Logic Symposium; 107-112 | M33 |
12 | Ghilezan, Silvia ; Likavec, Silvia | Reducibility: a ubiguitous method in lambda calculus with intersection types | 2002 | Electronic Notes in Theoretical Computer Science; Second Workshop on Intersection Types and Related Systems - ITRS '02, July 26 2002, Copenhagen, Denmark; 70 | M33 |
13 | Ghilezan, Silvia ; Kunčak, Viktor; Likavec, Silvia | Reducibility method for termination properties of typed lambda terms | 2001 | Extended abstracts of the 5th International Workshop on Termination, (WST'01); 5th International Workshop on Termination - WST'01, Utrecht, The Netherlands (2001); 14-16 |
Results 1-2 of 2 (Search time: 0.0 seconds).
Acronym | Title | Start date | Completion | P-Investigator |
---|---|---|---|---|
PROJECT 144029 | Models, Languages, Types, and Processes in Computing | 01-01-2006 | 31-12-2010 | Ghilezan, Silvia |
PROJECT 174026 | Representations of logical structures and formal languages and their application in computing | 01-01-2011 | 31-12-2019 | Ghilezan, Silvia |