Zoran Petric

According to our database, Zoran Petric authored at least 31 papers between 1997 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Proofs and surfaces.

Djordje Baralic, Pierre-Louis Curien, Marina Milicevic, Jovana Obradovic, Zoran Petric, Mladen Zekic, Rade T. Zivaljevic

Ann. Pure Appl. Log., 2020

2019

A simple permutoassociahedron.

Djordje Baralic, Jelena Ivanovic, Zoran Petric

Discret. Math., 2019

2017

Representing Conjunctive Deductions by Disjunctive Deductions.

Kosta Dosen, Zoran Petric

Rev. Symb. Log., 2017

2015

A Planarity Criterion for Graphs.

Kosta Dosen, Zoran Petric

SIAM J. Discret. Math., 2015

Weak Cat-Operads.

Kosta Dosen, Zoran Petric

Log. Methods Comput. Sci., 2015

2014

Symmetric Bimonoidal Intermuting Categories and ω × ω Reduced Bar Constructions.

Zoran Petric, Todd Trimble

Appl. Categorical Struct., 2014

2013

Graphs of plural cuts.

Kosta Dosen, Zoran Petric

Theor. Comput. Sci., 2013

Syntax for split preorders.

Kosta Dosen, Zoran Petric

Ann. Pure Appl. Log., 2013

2012

Shuffles and concatenations in the construction of graphs.

Kosta Dosen, Zoran Petric

Math. Struct. Comput. Sci., 2012

Isomorphic formulae in classical propositional logic.

Kosta Dosen, Zoran Petric

Math. Log. Q., 2012

Intermutation.

Kosta Dosen, Zoran Petric

Appl. Categorical Struct., 2012

2010

Coherence for monoidal monads and comonads.

Kosta Dosen, Zoran Petric

Math. Struct. Comput. Sci., 2010

Coherence for monoidal endofunctors.

Kosta Dosen, Zoran Petric

Math. Struct. Comput. Sci., 2010

2009

Coherence in linear predicate logic.

Kosta Dosen, Zoran Petric

Ann. Pure Appl. Log., 2009

2008

Equality of proofs for linear equality.

Kosta Dosen, Zoran Petric

Arch. Math. Log., 2008

2007

Medial commutativity.

Kosta Dosen, Zoran Petric

Ann. Pure Appl. Log., 2007

2006

Associativity as commutativity.

Kosta Dosen, Zoran Petric

J. Symb. Log., 2006

A New Proof of the Faithfulness of Brauer's Representation of Temperley-lieb Algebras.

Kosta Dosen, Zana Kovijanic Vukicevic, Zoran Petric

Int. J. Algebra Comput., 2006

Coherence for star-autonomous categories.

Kosta Dosen, Zoran Petric

Ann. Pure Appl. Log., 2006

2005

Negation and Involutive Adjunctions.

Kosta Dosen, Zoran Petric

Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005

2003

A Brauerian representation of split preorders.

Kosta Dosen, Zoran Petric

Math. Log. Q., 2003

Generality of proofs and its Brauerian representation.

Kosta Dosen, Zoran Petric

J. Symb. Log., 2003

G-dinaturality.

Zoran Petric

Ann. Pure Appl. Log., 2003

2002

Coherence in Substructural Categories.

Zoran Petric

Stud Logica, 2002

Bicartesian Coherence.

Kosta Dosen, Zoran Petric

Stud Logica, 2002

2001

The Maximality of Cartesian Categories.

Kosta Dosen, Zoran Petric

Math. Log. Q., 2001

The Typed Bohm Theorem.

Kosta Dosen, Zoran Petric

Proceedings of the Bohm's theorem: applications to Computer Science Theory, 2001

Coherent Bicartesian and Sesquicartesian Categories.

Kosta Dosen, Zoran Petric

Proceedings of the Proof Theory in Computer Science, International Seminar, 2001

2000

On permuting cut with contraction.

Mirjana Borisavljevic, Kosta Dosen, Zoran Petric

Math. Struct. Comput. Sci., 2000

1999

Cartesian Isomorphisms Are Symmetric Monoidal: A Justification of Linear Logic.

Kosta Dosen, Zoran Petric

J. Symb. Log., 1999

1997

Isomorphic Objects in Symmetric Monoidal Closed Categories.

Kosta Dosen, Zoran Petric

Math. Struct. Comput. Sci., 1997