Researchers
Borisavljević, Mirjana
Results 21-29 of 29
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2007 | Normal Form Theorem for Systems of Sequents | Borisavljević, Mirjana   | Article | Mp. category will be shown later |
| 2006 | A connection between cut elimination and normalization | Borisavljević, Mirjana | Article | 22M22 |
| 2004 | Extended natural deduction images of conversions from the system of sequents | Borisavljević, Mirjana | Article | 22M22 |
| 2003 | Minimum segments in sequent derivations | Borisavljevic, Mirjana | Article | Mp. category will be shown later |
| 2003 | Two measures for proving Gentzen's Hauptsatz without mix | Borisavljevic, Mirjana P | Article | 21M21 |
| 2002 | Kauffman monoids | Borisavljević, Mirjana ; Došen, Kosta ; Petrić, Zoran | Article | 22M22 |
| 2000 | On permuting cut with contraction | Borisavljević, Mirjana ; Došen, Kosta ; Petrić, Zoran | Article | Mp. category will be shown later |
| 1999 | A cut-elimination proof in intuitionistic predicate logic | Borisavljevic, Mirjana | Article | 21M21 |
| 1995 | A connection between cut elimination and normalization | Borisavljevic, Mirjana | Article | Mp. category will be shown later |