The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mirjana Borisavljevic: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002