Zoran Petric

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Proofs and surfaces.
Ann. Pure Appl. Log., 2020

2019
A simple permutoassociahedron.
Discret. Math., 2019

2017
Representing Conjunctive Deductions by Disjunctive Deductions.
Rev. Symb. Log., 2017

2015
A Planarity Criterion for Graphs.
SIAM J. Discret. Math., 2015

Weak Cat-Operads.
Log. Methods Comput. Sci., 2015

2014
Symmetric Bimonoidal Intermuting Categories and ω × ω Reduced Bar Constructions.
Appl. Categorical Struct., 2014

2013
Graphs of plural cuts.
Theor. Comput. Sci., 2013

Syntax for split preorders.
Ann. Pure Appl. Log., 2013

2012
Shuffles and concatenations in the construction of graphs.
Math. Struct. Comput. Sci., 2012

Isomorphic formulae in classical propositional logic.
Math. Log. Q., 2012

Intermutation.
Appl. Categorical Struct., 2012

2010
Coherence for monoidal monads and comonads.
Math. Struct. Comput. Sci., 2010

Coherence for monoidal endofunctors.
Math. Struct. Comput. Sci., 2010

2009
Coherence in linear predicate logic.
Ann. Pure Appl. Log., 2009

2008
Equality of proofs for linear equality.
Arch. Math. Log., 2008

2007
Medial commutativity.
Ann. Pure Appl. Log., 2007

2006
Associativity as commutativity.
J. Symb. Log., 2006

A New Proof of the Faithfulness of Brauer's Representation of Temperley-lieb Algebras.
Int. J. Algebra Comput., 2006

Coherence for star-autonomous categories.
Ann. Pure Appl. Log., 2006

2005
Negation and Involutive Adjunctions.
Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005

2003
A Brauerian representation of split preorders.
Math. Log. Q., 2003

Generality of proofs and its Brauerian representation.
J. Symb. Log., 2003

G-dinaturality.
Ann. Pure Appl. Log., 2003

2002
Coherence in Substructural Categories.
Stud Logica, 2002

Bicartesian Coherence.
Stud Logica, 2002

2001
The Maximality of Cartesian Categories.
Math. Log. Q., 2001

The Typed Bohm Theorem.
Electron. Notes Theor. Comput. Sci., 2001

Coherent Bicartesian and Sesquicartesian Categories.
Proceedings of the Proof Theory in Computer Science, International Seminar, 2001

2000
On permuting cut with contraction.
Math. Struct. Comput. Sci., 2000

1999
Cartesian Isomorphisms Are Symmetric Monoidal: A Justification of Linear Logic.
J. Symb. Log., 1999

1997
Isomorphic Objects in Symmetric Monoidal Closed Categories.
Math. Struct. Comput. Sci., 1997


  Loading...