Истраживачи
Borisavljević, Mirjana
Година
Мп-кат.
- 9 остало
- 5 M20/M50
- 4 M21 - Водећи међународни часопис категорије M21
- 3 M22 - Међународни часопис категорије M22
- 2 M10/M40
- 2 M21a - Водећи међународни часопис категорије M21a
- 2 M24 - Водећи национални часопис категорије M24
- 1 M51 - Водећи национални часопис категорије M51
- 1 M53 - Национални часопис категорије M53
Година - распон
Резултати 21-29 од 29
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2007 | Normal Form Theorem for Systems of Sequents | Borisavljević, Mirjana   | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2006 | A connection between cut elimination and normalization | Borisavljević, Mirjana | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2004 | Extended natural deduction images of conversions from the system of sequents | Borisavljević, Mirjana | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2003 | Minimum segments in sequent derivations | Borisavljevic, Mirjana | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2003 | Two measures for proving Gentzen's Hauptsatz without mix | Borisavljevic, Mirjana P | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 2002 | Kauffman monoids | Borisavljević, Mirjana ; Došen, Kosta ; Petrić, Zoran | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2000 | On permuting cut with contraction | Borisavljević, Mirjana ; Došen, Kosta ; Petrić, Zoran | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 1999 | A cut-elimination proof in intuitionistic predicate logic | Borisavljevic, Mirjana | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 1995 | A connection between cut elimination and normalization | Borisavljevic, Mirjana | Научни чланак | Мп категорија ће бити приказана накнадно. |