Zoran Petric

32 papers Journal 29Unranked 3
YearRankTypeTitle / Venue / Authors
2024 J jnl
Chromatic numbers for facet colouring of some generalised associahedra.
Discret. Appl. Math.
Dorde Baralic, Jelena Ivanovic, Zoran Petric
2020 J jnl
Proofs and surfaces.
Ann. Pure Appl. Log.
Djordje Baralic, Pierre-Louis Curien, Marina Milicevic, Jovana Obradovic, Zoran Petric, Mladen Zekic, Rade T. Zivaljevic
2019 J jnl
A simple permutoassociahedron.
Discret. Math.
Djordje Baralic, Jelena Ivanovic, Zoran Petric
2017 J jnl
Representing Conjunctive Deductions by Disjunctive Deductions.
Rev. Symb. Log.
Kosta Dosen, Zoran Petric
2015 J jnl
A Planarity Criterion for Graphs.
SIAM J. Discret. Math.
Kosta Dosen, Zoran Petric
2015 J jnl
Weak Cat-Operads.
Log. Methods Comput. Sci.
Kosta Dosen, Zoran Petric
2014 J jnl
Symmetric Bimonoidal Intermuting Categories and ω × ω Reduced Bar Constructions.
Appl. Categorical Struct.
Zoran Petric, Todd Trimble
2013 J jnl
Graphs of plural cuts.
Theor. Comput. Sci.
Kosta Dosen, Zoran Petric
2013 J jnl
Syntax for split preorders.
Ann. Pure Appl. Log.
Kosta Dosen, Zoran Petric
2012 J jnl
Intermutation.
Appl. Categorical Struct.
Kosta Dosen, Zoran Petric
2012 J jnl
Isomorphic formulae in classical propositional logic.
Math. Log. Q.
Kosta Dosen, Zoran Petric
2012 J jnl
Shuffles and concatenations in the construction of graphs.
Math. Struct. Comput. Sci.
Kosta Dosen, Zoran Petric
2010 J jnl
Coherence for monoidal endofunctors.
Math. Struct. Comput. Sci.
Kosta Dosen, Zoran Petric
2010 J jnl
Coherence for monoidal monads and comonads.
Math. Struct. Comput. Sci.
Kosta Dosen, Zoran Petric
2009 J jnl
Coherence in linear predicate logic.
Ann. Pure Appl. Log.
Kosta Dosen, Zoran Petric
2008 J jnl
Equality of proofs for linear equality.
Arch. Math. Log.
Kosta Dosen, Zoran Petric
2007 J jnl
Medial commutativity.
Ann. Pure Appl. Log.
Kosta Dosen, Zoran Petric
2006 J jnl
A New Proof of the Faithfulness of Brauer's Representation of Temperley-lieb Algebras.
Int. J. Algebra Comput.
Kosta Dosen, Zana Kovijanic Vukicevic, Zoran Petric
2006 J jnl
Associativity as commutativity.
J. Symb. Log.
Kosta Dosen, Zoran Petric
2006 J jnl
Coherence for star-autonomous categories.
Ann. Pure Appl. Log.
Kosta Dosen, Zoran Petric
2005 — conf
Negation and Involutive Adjunctions.
We Will Show Them! (1)
Kosta Dosen, Zoran Petric
2003 J jnl
A Brauerian representation of split preorders.
Math. Log. Q.
Kosta Dosen, Zoran Petric
2003 J jnl
G-dinaturality.
Ann. Pure Appl. Log.
Zoran Petric
2003 J jnl
Generality of proofs and its Brauerian representation.
J. Symb. Log.
Kosta Dosen, Zoran Petric
2002 J jnl
Bicartesian Coherence.
Stud Logica
Kosta Dosen, Zoran Petric
2002 J jnl
Coherence in Substructural Categories.
Stud Logica
Zoran Petric
2001 — conf
Coherent Bicartesian and Sesquicartesian Categories.
Proof Theory in Computer Science
Kosta Dosen, Zoran Petric
2001 J jnl
The Maximality of Cartesian Categories.
Math. Log. Q.
Kosta Dosen, Zoran Petric
2001 — conf
The Typed Bohm Theorem.
BOTH
Kosta Dosen, Zoran Petric
2000 J jnl
On permuting cut with contraction.
Math. Struct. Comput. Sci.
Mirjana Borisavljevic, Kosta Dosen, Zoran Petric
1999 J jnl
Cartesian Isomorphisms Are Symmetric Monoidal: A Justification of Linear Logic.
J. Symb. Log.
Kosta Dosen, Zoran Petric
1997 J jnl
Isomorphic Objects in Symmetric Monoidal Closed Categories.
Math. Struct. Comput. Sci.
Kosta Dosen, Zoran Petric