 | 2009 |
|---|
| 17 |       | Kosta Dosen,
Zoran Petric:
Coherence in linear predicate logic.
Ann. Pure Appl. Logic 158(1-2): 125-153 (2009) |
| 2008 |
|---|
| 16 | | Kosta Dosen,
Zoran Petric:
Equality of proofs for linear equality.
Arch. Math. Log. 47(6): 549-565 (2008) |
| 2007 |
|---|
| 15 | | Kosta Dosen,
Zoran Petric:
Medial commutativity.
Ann. Pure Appl. Logic 146(2-3): 237-255 (2007) |
| 2006 |
|---|
| 14 | | Kosta Dosen,
Zoran Petric:
Coherence for star-autonomous categories.
Ann. Pure Appl. Logic 141(1-2): 225-242 (2006) |
| 13 | | Kosta Dosen,
Zana KovijaniC,
Zoran Petric:
A New Proof of the Faithfulness of Brauer's Representation of Temperley-lieb Algebras.
IJAC 16(5): 959-968 (2006) |
| 2005 |
|---|
| 12 |  | Kosta Dosen,
Zoran Petric:
Negation and Involutive Adjunctions.
We Will Show Them! (1) 2005: 577-586 |
| 2003 |
|---|
| 11 | | Zoran Petric:
G-dinaturality.
Ann. Pure Appl. Logic 122(1-3): 131-173 (2003) |
| 10 | | Kosta Dosen,
Zoran Petric:
Generality of proofs and its Brauerian representation.
J. Symb. Log. 68(3): 740-750 (2003) |
| 9 | | Kosta Dosen,
Zoran Petric:
A Brauerian representation of split preorders.
Math. Log. Q. 49(6): 579-586 (2003) |
| 2002 |
|---|
| 8 | | Zoran Petric:
Coherence in Substructural Categories.
Studia Logica 70(2): 271-296 (2002) |
| 7 | | Kosta Dosen,
Zoran Petric:
Bicartesian Coherence.
Studia Logica 71(3): 331-353 (2002) |
| 2001 |
|---|
| 6 | | Kosta Dosen,
Zoran Petric:
Coherent Bicartesian and Sesquicartesian Categories.
Proof Theory in Computer Science 2001: 78-92 |
| 5 | | Kosta Dosen,
Zoran Petric:
The Typed Bohm Theorem.
Electr. Notes Theor. Comput. Sci. 50(2): (2001) |
| 4 | | Kosta Dosen,
Zoran Petric:
The Maximality of Cartesian Categories.
Math. Log. Q. 47(1): 137-144 (2001) |
| 2000 |
|---|
| 3 | | Mirjana Borisavljevic,
Kosta Dosen,
Zoran Petric:
On permuting cut with contraction.
Mathematical Structures in Computer Science 10(2): 99-136 (2000) |
| 1999 |
|---|
| 2 | | Kosta Dosen,
Zoran Petric:
Cartesian Isomorphisms Are Symmetric Monoidal: A Justification of Linear Logic.
J. Symb. Log. 64(1): 227-242 (1999) |
| 1997 |
|---|
| 1 | | Kosta Dosen,
Zoran Petric:
Isomorphic Objects in Symmetric Monoidal Closed Categories.
Mathematical Structures in Computer Science 7(6): 639-662 (1997) |
