eNauka - pregled
Pregled prema Autor Pierre Lescanne
Prikaz rezultata 1 do 16 od 16
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2018 | A Congruence Relation for Restructuring Classical Terms (✓) | Pierre Lescanne; Zunic, Dragisa   | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2014 | Approaching substructural term calculi via the resource control calculus (✓) | Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2012 | Classical computing with negation | Žunić, Dragiša ; Pierre Lescanne | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2011 | Classical logic proofs' essence and diagrammatic computation | Žunić, Dragiša ; Pierre Lescanne | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2012 | Computational interpretation of classical logic with explicit structural rules (✓) | Silvia Ghilezan ; Pierre Lescanne; Žunić, Dragiša | Ostalo | Mp kategorija će biti prikazana naknadno. |
| 2010 | Computational interpretations of some substructural logics | Ivetić, Jelena ; Pierre Lescanne | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2013 | Computational interpretations of some substructural logics | Ivetić, Jelena ; Pierre Lescanne | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2013 | Constructive approach to relevant and affine term calculi (✓) | Gilezan, Silvia ; Ivetić, Jelena ; Pierre Lescanne; Likavec, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2015 | Intersection Types Fit Well with Resource Control (✓) | Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2012 | Intersection types for explicit substitution with resource control (✓) | Ivetić, Jelena ; Silvia Gilezan ; Pierre Lescanne; Silvia Likavec | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2011 | Intersection types for the resource control lambda calculi (✓) | Silvia Ghilezan ; Ivetić, Jelena ; Silvia Likavec ; Pierre Lescanne | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2011 | Intuitionistic sequent-style calculus with explicit structural rules | Gilezan, Silvia ; Žunić, Dragiša ; Ivetić, Jelena ; Pierre Lescanne | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2013 | Resource aware computing with proofs (✓) | Gilezan, Silvia ; Ivetić, Jelena ; Pierre Lescanne; Likavec, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2014 | Some Advantages of the Lambda Calculi with Resourse Control (✓) | Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2015 | Structural rules and resource control in logic and computation (✓) | Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne | Poglavlje u monografiji | Mp kategorija će biti prikazana naknadno. |
| 2013 | The unessential in classical logic and computation | Žunić, Dragiša ; Pierre Lescanne | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |