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