Search the dblp DataBase
Mirjana Borisavljevic :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Mirjana Borisavljevic Two measures for proving Gentzen's Hauptsatz without mix. [Citation Graph (0, 0)][DBLP ] Arch. Math. Log., 2003, v:42, n:4, pp:371-387 [Journal ] Mirjana Borisavljevic A Connection Between Cut Elimination and Normalization. [Citation Graph (0, 0)][DBLP ] Arch. Math. Log., 2006, v:45, n:2, pp:113-148 [Journal ] Mirjana Borisavljevic A Cut-Elimination Proof in Intuitionistic Predicate Logic. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 1999, v:99, n:1-3, pp:105-136 [Journal ] Mirjana Borisavljevic Extended Natural Deduction Images of Conversions from the System of Sequents. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 2004, v:14, n:6, pp:769-799 [Journal ] Mirjana Borisavljevic , Kosta Dosen , Zoran Petric On permuting cut with contraction. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 2000, v:10, n:2, pp:99-136 [Journal ] Search in 0.002secs, Finished in 0.003secs