The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Zoran Petric: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Kosta Dosen, Zoran Petric
    Negation and Involutive Adjunctions. [Citation Graph (0, 0)][DBLP]
    We Will Show Them! (1), 2005, pp:577-586 [Conf]
  2. Kosta Dosen, Zoran Petric
    Coherent Bicartesian and Sesquicartesian Categories. [Citation Graph (0, 0)][DBLP]
    Proof Theory in Computer Science, 2001, pp:78-92 [Conf]
  3. Zoran Petric
    G-dinaturality. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2003, v:122, n:1-3, pp:131-173 [Journal]
  4. Kosta Dosen, Zoran Petric
    Coherence for star-autonomous categories. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2006, v:141, n:1-2, pp:225-242 [Journal]
  5. Kosta Dosen, Zoran Petric
    The Typed Bohm Theorem. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:50, n:2, pp:- [Journal]
  6. Kosta Dosen, Zana KovijaniC, Zoran Petric
    A New Proof of the Faithfulness of Brauer's Representation of Temperley-lieb Algebras. [Citation Graph (0, 0)][DBLP]
    IJAC, 2006, v:16, n:5, pp:959-968 [Journal]
  7. Kosta Dosen, Zoran Petric
    Generality of proofs and its Brauerian representation. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2003, v:68, n:3, pp:740-750 [Journal]
  8. Kosta Dosen, Zoran Petric
    Cartesian Isomorphisms Are Symmetric Monoidal: A Justification of Linear Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:1, pp:227-242 [Journal]
  9. Kosta Dosen, Zoran Petric
    The Maximality of Cartesian Categories. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2001, v:47, n:1, pp:137-144 [Journal]
  10. Kosta Dosen, Zoran Petric
    A Brauerian representation of split preorders. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2003, v:49, n:6, pp:579-586 [Journal]
  11. Kosta Dosen, Zoran Petric
    Isomorphic Objects in Symmetric Monoidal Closed Categories. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1997, v:7, n:6, pp:639-662 [Journal]
  12. 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]
  13. Kosta Dosen, Zoran Petric
    Bicartesian Coherence. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:71, n:3, pp:331-353 [Journal]
  14. Zoran Petric
    Coherence in Substructural Categories. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:70, n:2, pp:271-296 [Journal]
  15. Kosta Dosen, Zoran Petric
    Medial commutativity. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2007, v:146, n:2-3, pp:237-255 [Journal]

  16. Equality of proofs for linear equality. [Citation Graph (, )][DBLP]


  17. Coherence in linear predicate logic. [Citation Graph (, )][DBLP]


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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002