Mirjana Borisavljevic

	2006
5		Mirjana Borisavljevic: A Connection Between Cut Elimination and Normalization. Arch. Math. Log. 45(2): 113-148 (2006)
	2004
4		Mirjana Borisavljevic: Extended Natural Deduction Images of Conversions from the System of Sequents. J. Log. Comput. 14(6): 769-799 (2004)
	2003
3		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)

Coauthor Index

1	Kosta Dosen	[2]
2	Zoran Petric	[2]