佐兰·佩特里克
人员信息
优化列表
2020年–今天
2024 [公元29年] 多德·巴拉利奇 , 杰琳娜·伊万诺维奇 , 佐兰·佩特里克 :
一些广义结合面体的面着色的色数。 自由裁量权。 申请。 数学。 358 : 272-284 ( 2024 ) 2020 [公元28年] 乔尔杰·巴拉利奇 , 皮埃尔·路易斯·居里 , 玛丽娜·米利舍维奇 , 约瓦娜·奥布拉多维奇 , 佐兰·佩特里克 , 姆拉登·泽基克 , 雷德·齐瓦尔耶维奇 :
校样和表面。 Ann.纯粹应用。 日志。 171 ( 9 ) : 102845 ( 2020 )
2010 – 2019
2019 [公元27年] 乔杰·巴拉利奇 , 杰琳娜·伊万诺维奇 , 佐兰·佩特里克 :
一个简单的置换结合面体。 自由裁量权。 数学。 342 ( 12 ) ( 2019 ) 2017 [公元26年] 科斯塔·多森 , 佐兰·佩特里克 :
用选言推理表示连言推理。 版本符号。 日志。 10 ( 1 ) : 145-157 ( 2017 ) 2015 [公元25年] 科斯塔·多森 , 佐兰·佩特里克 :
弱猫运算。 日志。 方法计算。 科学。 11 ( 1 ) ( 2015 ) [公元24年] 科斯塔·多森 , 佐兰·佩特里克 :
图的平面性准则。 SIAM J.自由裁量。 数学。 29 ( 4 ) : 2160-2165 ( 2015 ) 2014 [公元23年] 佐兰·佩特里克 , 托德·特里布尔 :
对称双单体交错范畴与ω×ω约化杆构造。 申请。 分类结构。 22 ( 三 ) : 467-499 ( 2014 ) 2013 [公元22年] 科斯塔·多森 , 佐兰·佩特里克 :
拆分预订单的语法。 Ann.纯粹应用。 日志。 164 ( 4 ) : 443-481 ( 2013 ) [公元21年] 科斯塔·多森 , 佐兰·佩特里克 :
复数切割图。 西奥。 计算。 科学。 484 : 41-55 ( 2013 ) 2012 [j20] 科斯塔·多森 , 佐兰·佩特里克 :
间歇。 申请。 分类结构。 20 ( 1 ) : 43-95 ( 2012 ) [公元19年] 科斯塔·多森 , 佐兰·佩特里克 :
经典命题逻辑中的同构公式。 数学。 日志。 问:。 58 ( 1-2 ) : 5-17 ( 2012 ) [公元18年] 科斯塔·多森 , 佐兰·佩特里克 :
图形构造中的乱序和连接。 数学。 结构。 计算。 科学。 22 ( 6 ) : 904-930 ( 2012 ) 2010 [公元17年] 科斯塔·多森 , 佐兰·佩特里克 :
单体内函子的相干性。 数学。 结构。 计算。 科学。 20 ( 4 ) : 523-543 ( 2010 ) [公元16年] 科斯塔·多森 , 佐兰·佩特里克 :
单体单子体和伴子体的相干性。 数学。 结构。 计算。 科学。 20 ( 4 ) : 545-561 ( 2010 )
2000 – 2009
2009 [公元15年] 科斯塔·多森 , 佐兰·佩特里克 :
线性谓词逻辑中的一致性。 Ann.纯粹应用。 日志。 158 ( 1-2 ) : 125-153 ( 2009 ) 2008 [公元14年] 科斯塔·多森 , 佐兰·佩特里克 :
线性等式的证明的等式。 架构(architecture)。 数学。 日志。 47 ( 6 ) : 549-565 ( 2008 ) 2007 [j13] 科斯塔·多森 , 佐兰·佩特里克 :
中间交换性。 Ann.纯粹应用。 日志。 146 ( 2-3 ) : 237-255 ( 2007 ) 2006 [公元12年] 科斯塔·多森 , 佐兰·佩特里克 :
恒星自主类别的一致性。 Ann.纯粹应用。 日志。 141 ( 1-2 ) : 225-242 ( 2006 ) [公元11年] 科斯塔·多森 , 扎娜·科维亚尼克·武基切维奇 , 佐兰·佩特里克 :
Tempeley-lieb代数的Brauer表示忠实性的新证明。 国际代数计算杂志。 16 ( 5 ) : 959-968 ( 2006 ) [公元10年] 科斯塔·多森 , 佐兰·佩特里克 :
结合性就是交换性。 J.塞姆。 日志。 71 ( 1 ) : 217-226 ( 2006 ) 2005 【c3】 科斯塔·多森 , 佐兰·佩特里克 :
否定和对合形容词。 我们将向他们展示! (1) 2005 : 577-586 2003 [公元9年] 佐兰·佩特里克 :
G-dinaturality公司。 Ann.纯粹应用。 日志。 122 ( 1-3 ) : 131-173 ( 2003 ) [j8] 科斯塔·多森 , 佐兰·佩特里克 :
证明的一般性及其Brauerian表示。 J.塞姆。 日志。 68 ( 三 ) : 740-750 ( 2003 ) [j7] 科斯塔·多森 , 佐兰·佩特里克 :
分裂预订单的Brauerian表示。 数学。 日志。 问:。 49 ( 6 ) : 579-586 ( 2003 ) 2002 [j6] 佐兰·佩特里克 :
亚结构类别中的一致性。 Stud Logica公司 70 ( 2 ) : 271-296 ( 2002 ) [j5] 科斯塔·多森 , 佐兰·佩特里克 :
笛卡尔连贯性。 Stud Logica公司 71 ( 三 ) : 331-353 ( 2002 ) 2001 [j4] 科斯塔·多森 , 佐兰·佩特里克 :
笛卡尔范畴的极大性。 数学。 日志。 问:。 47 ( 1 ) : 137-144 ( 2001 ) [c2] 科斯塔·多森 , 佐兰·佩特里克 :
连贯的双笛卡尔和塞斯奎卡特范畴。 计算机科学中的证明理论 2001 : 78-92 【c1】 科斯塔·多森 , 佐兰·佩特里克 :
类型化玻姆定理。 两者 2001 : 117-129 2000 [j3] 米尔贾娜·鲍里萨夫勒耶维奇 , 科斯塔·多森 , 佐兰·佩特里克 :
在带有收缩的置换切口上。 数学。 结构。 计算。 科学。 10 ( 2 ) : 99-136 ( 2000 )
1990 – 1999
1999 [注2] 科斯塔·多森 , 佐兰·佩特里克 :
笛卡尔同构是对称单体:线性逻辑的证明。 J.塞姆。 日志。 64 ( 1 ) : 227-242 ( 1999 ) 1997 [j1] 科斯塔·多森 , 佐兰·佩特里克 :
对称单体闭范畴中的同构对象。 数学。 结构。 计算。 科学。 7 ( 6 ) : 639-662 ( 1997 )