Zoran Petric

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 4

Top Topics

Optimization Criterion

Surface Registration

Simply Connected

Top Venues

Appl. Categorical Struct.

Discret. Appl. Math.

Ann. Pure Appl. Log.

SIAM J. Discret. Math.

Publications

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