Истраживачи
Došen, Kosta
Резултати 81-100 од 221
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2000 | On permuting cut with contraction | Borisavljević, Mirjana   ; Došen, Kosta ; Petrić, Zoran | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 1999 | Definitions of adjunction | Došen, Kosta | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 1999 | Cut elimination in adjuncion | Došen, Kosta | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 1999 | Negation in the light of modal logic | Došen, Kosta | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
| 1999 | Cut elimination in categories | Došen, Kosta | Монографија | Мп категорија ће бити приказана накнадно. |
| 1999 | Le programme de Hilbert | Došen, Kosta | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
| 1999 | Cartesian isomorphisms are symmetric monoidal: A justification of linear logic | Došen, Kosta ; Petrić, Zoran | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 1999 | Cut elimination in adjunction | Došen, Kosta | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 1999 | Definitions of adjunction | Došen, Kosta | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 1999 | On passing from singular to plural consequences | Došen, Kosta | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
| 1998 | An introduction to adjunction | Došen, Kosta | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 1998 | Addenda and corrigenda to an "An introduction to adjunction" | Došen, Kosta | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 1998 | Deductive systems and categories | Došen, Kosta | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 1998 | Functions redefined | Došen, Kosta | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 1998 | Tortuous application | Došen, Kosta | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 1997 | Isomorphic objects in symmetric monoidal closed categories | Došen, Kosta ; Petrić, Zoran | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 1997 | Logical consequence: A turn in style | Došen, Kosta | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 1997 | Isomorphic objects in symmetric monoidal closed categoriest | Došen, Kosta ; Petrić, Zoran | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 1997 | Tasić, Milan "Version intuitionniste du calcul des neg.-propositions (prédicats) - Makedon. Akad. Nauk. Umet. Oddel. Mat.-Tehn. Nauk. Prilozi 14 (1993), no.2, 5-12 (1995) | Došen, Kosta | Информативни прилог | Мп категорија ће бити приказана накнадно. |
| 1996 | Modal functional completeness | Došen, Kosta ; Petrić, Zoran | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |