| |
| 2006 | ||
|---|---|---|
| 5 | EE | Mirjana Borisavljevic: A Connection Between Cut Elimination and Normalization. Arch. Math. Log. 45(2): 113-148 (2006) |
| 2004 | ||
| 4 | EE | Mirjana Borisavljevic: Extended Natural Deduction Images of Conversions from the System of Sequents. J. Log. Comput. 14(6): 769-799 (2004) |
| 2003 | ||
| 3 | EE | Mirjana Borisavljevic: Two measures for proving Gentzen's Hauptsatz without mix. Arch. Math. Log. 42(4): 371-387 (2003) |
| 2000 | ||
| 2 | Mirjana Borisavljevic, Kosta Dosen, Zoran Petric: On permuting cut with contraction. Mathematical Structures in Computer Science 10(2): 99-136 (2000) | |
| 1999 | ||
| 1 | Mirjana Borisavljevic: A Cut-Elimination Proof in Intuitionistic Predicate Logic. Ann. Pure Appl. Logic 99(1-3): 105-136 (1999) | |
| 1 | Kosta Dosen | [2] |
| 2 | Zoran Petric | [2] |