Browsing by Author Lescanne, Pierre
Showing results 11 to 13 of 13
< previous
| Author(s) | Title | Issue Date | Appears in | Rank |
|---|---|---|---|---|
| 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 |
| 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 |
| 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 |