еНаука - преглед
Преглед према Аутор Pierre Lescanne
Приказ резултата 1 до 13 од 13
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2018 | A Congruence Relation for Restructuring Classical Terms | Pierre Lescanne; Zunic, Dragisa   | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2014 | Approaching substructural term calculi via the resource control calculus | Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2012 | Classical computing with negation | Žunić, Dragiša ; Pierre Lescanne | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2011 | Classical logic proofs' essence and diagrammatic computation | Žunić, Dragiša ; Pierre Lescanne | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2012 | Computational interpretation of classical logic with explicit structural rules | Silvia Ghilezan ; Pierre Lescanne; Žunić, Dragiša | Остало | Мп категорија ће бити приказана накнадно. |
| 2013 | Constructive approach to relevant and affine term calculi | Gilezan, Silvia ; Ivetić, Jelena ; Pierre Lescanne; Likavec, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | Intersection Types Fit Well with Resource Control | Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2012 | Intersection types for explicit substitution with resource control | Ivetić, Jelena ; Silvia Gilezan ; Pierre Lescanne; Silvia Likavec | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2011 | Intersection types for the resource control lambda calculi | Silvia Ghilezan ; Ivetić, Jelena ; Silvia Likavec ; Pierre Lescanne | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2013 | Resource aware computing with proofs | Gilezan, Silvia ; Ivetić, Jelena ; Pierre Lescanne; Likavec, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2014 | Some Advantages of the Lambda Calculi with Resourse Control | Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | Structural rules and resource control in logic and computation | Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
| 2013 | The unessential in classical logic and computation | Žunić, Dragiša ; Pierre Lescanne | Конференцијски рад | Мп категорија ће бити приказана накнадно. |