Mirjana Borisavljevic

Mirjana Borisavljevic

University of Belgrade - Belgrade / Serbia
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 6006133
Универзитет у Београду
person_outline Mirjana Borisavljevic's MOST POPULAR ARTICLES
1-) Kauffman monoidsM Borisavljevic, K Dosen, Z PetricarXiv preprint math/0008187, 2000492000
2-) On permuting cut with contractionM Borisavljević, K Došen, Z PetrićMathematical Structures in Computer Science 10 (2), 99-136, 2000232000
3-) A cut-elimination proof in intuitionistic predicate logicM BorisavljevićAnnals of Pure and Applied Logic 99 (1-3), 105-136, 1999111999
4-) A connection between cut elimination and normalizationM BorisavljevićArchive for Mathematical Logic 45 (2), 113-148, 2006102006
5-) Extended natural deduction images of conversions from the system of sequentsM BorisavljevićJournal of Logic and Computation 14 (6), 769-799, 200482004