芭芭拉·卡西玛
人员信息
附属: 加拿大滑铁卢大学
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2023 [公元26年] 威尔·博尼 , 芭芭拉·卡西玛 , 南希·A·戴 , 马修·哈里森-培训师 :
哪类结构既有伪元又可由无限句定义? 牛市。 符号。 日志。 29 ( 1 ) : 1-18 ( 2023 ) 2022 [公元25年] 芭芭拉·卡西玛 , Keng Meng Ng公司 :
每Δ20度都是一个很强的分类度。 数学杂志。 日志。 22 ( 三 ) : 2250022:1-2250022:18 ( 2022 ) 2021 [公元24年] 劳伦特·宾文努(Laurent Bienvenu) , 芭芭拉·卡西玛 , 马修·哈里森-培训师 :
算法随机性中一致性的几个问题。 J.塞姆。 日志。 86 ( 4 ) : 1612-1631 ( 2021 ) 【c4】 芭芭拉·卡西玛 , 迪诺·罗塞格 , 余伟国 :
正可枚举函数。 CiE公司 2021 : 385-394 [i1] 劳伦特·宾文努(Laurent Bienvenu) , 芭芭拉·卡西玛 , 马修·哈里森-培训师 :
算法随机性中的一致性问题。 CoRR公司 腹肌/2111.01472 ( 2021 ) 2020 [公元23年] 芭芭拉·卡西玛 , 迈克尔·德沃 , 马修·哈里森-培训师 , 穆罕默德·阿塞姆·马哈茂德 :
极限序数以上的范畴度。 计算。 9 ( 2 ) : 127-137 ( 2020 )
2010 – 2019
2019 [公元22年] 芭芭拉·卡西玛 , 乔纳森·斯蒂芬森 :
有限的可计算维度和分类度。 Ann.纯粹应用。 日志。 170 ( 1 ) : 58-94 ( 2019 ) [公元21年] 芭芭拉·卡西玛 , 达米尔·德扎法罗夫 , 丹尼斯·赫施费尔特 , 小卡尔·G·约克什。 , 里德所罗门 , 琳达·布朗·韦斯特里克 :
正好两个元素之和的Hindman定理的逆向数学。 计算。 8 ( 3-4 ) : 253-263 ( 2019 ) 2017 [公元20年] 伯纳德·安德森 , 芭芭拉·卡西玛 , 凯伦·兰格 :
有界限的低位和高位。 架构(architecture)。 数学。 日志。 56 ( 5-6 ) : 507-521 ( 2017 ) [公元19年] 芭芭拉·卡西玛 , 马修·哈里森-培训师 :
通过η-系统在圆锥上的分类度。 J.塞姆。 日志。 82 ( 1 ) : 325-346 ( 2017 ) 2016 [公元18年] 伯纳德·安德森 , 芭芭拉·卡西玛 :
非分类度。 圣母院J.正式日志。 57 ( 三 ) : 389-398 ( 2016 ) 2015 [公元17年] 芭芭拉·卡西玛 , 卡罗琳·诺尔 :
测量结构类别的复杂性。 Ann.纯粹应用。 日志。 166 ( 12 ) : 1365-1381 ( 2015 ) 2014 [公元16年] 伯纳德·安德森 , 芭芭拉·卡西玛 :
有界图灵度的有界跳跃。 圣母院J.正式日志。 55 ( 2 ) : 245-264 ( 2014 ) 2013 [j15] 芭芭拉·卡西玛 , 约翰·富兰克林(Johanna N.Y.Franklin) , 理查德·肖尔 :
分类度和超算术层次结构。 圣母院J.正式日志。 54 ( 2 ) : 215-231 ( 2013 ) 2011 [公元14年] 芭芭拉·卡西玛 , 里德所罗门 :
幂零可计算群中心级数的复杂性。 Ann.纯粹应用。 日志。 162 ( 8 ) : 667-678 ( 2011 ) [j13] 芭芭拉·卡西玛 , 瓦伦蒂娜·哈里扎诺夫 , 罗素·G·米勒 , 安东尼奥·蒙塔尔班 :
弗雷塞极限的可计算性。 J.塞姆。 日志。 76 ( 1 ) : 66-93 ( 2011 ) [公元12年] 芭芭拉·F·西玛 , 罗德·唐尼 , Keng Meng Ng公司 :
强可约性的跳跃反演极限。 J.塞姆。 日志。 76 ( 4 ) : 1287-1296 ( 2011 ) 2010 [j11] 芭芭拉·卡西玛 , 伊斯坎德Sh.Kalimullin :
度谱和免疫特性。 数学。 日志。 问:。 56 ( 1 ) : 67-77 ( 2010 )
2000 – 2009
2009 [j10] 道格拉斯·A·岑泽 , 芭芭拉·卡西玛 , 巴哈迪尔·库萨诺夫 :
具有不同功能符号的线性顺序。 架构(architecture)。 数学。 日志。 48 ( 1 ) : 63-76 ( 2009 ) [公元9年] 芭芭拉·卡西玛 , 约瑟夫·米莱蒂 :
彩虹拉姆齐定理的力量。 J.塞姆。 日志。 74 ( 4 ) : 1310-1324 ( 2009 ) [j8] 芭芭拉·F·西玛 :
沉降时间可缩性排序与Delta 2 0 集合。 J.日志。 计算。 19 ( 1 ) : 145-150 ( 2009 ) 2008 【c3】 芭芭拉·F·西玛 , 巴哈迪尔·库萨诺夫 , 刘嘉谋 :
有限元图的可计算范畴。 CiE公司 2008 : 139-148 【c2】 芭芭拉·卡西玛 , 巴哈迪尔·库萨诺夫 :
可达性何时是内在决定的?。 语言理论的发展 2008 : 216-227 2007 [j7] 芭芭拉·卡西玛 , 瓦伦蒂娜·哈里扎诺夫 , 丹尼斯·赫施费尔特 , 罗伯特·索尔 :
边界齐次模型。 J.塞姆。 日志。 72 ( 1 ) : 305-323 ( 2007 ) [j6] 芭芭拉·F·西玛 , 理查德·肖尔 :
设置时间可约性排序。 J.塞姆。 日志。 72 ( 三 ) : 1055-1071 ( 2007 ) [c1] 芭芭拉·卡西玛 :
根据沉降时间比较C.E.集。 CiE公司 2007 : 196-204 2006 [j5] 芭芭拉·卡西玛 , 罗德·唐尼 , 诺姆·格林伯格 , 丹尼斯·赫施费尔特 , 约瑟夫·米勒 :
每个1-泛型计算一个适当的1-泛型。 J.塞姆。 日志。 71 ( 4 ) : 1385-1393 ( 2006 ) 【j4】 芭芭拉·卡西玛 , 罗伯特·索尔 :
微分几何中使用的可计算性结果。 J.塞姆。 日志。 71 ( 4 ) : 1394-1410 ( 2006 ) [j3] 芭芭拉·卡西玛 , 安东尼奥·蒙塔尔班 , 理查德·肖尔 :
布尔代数、Tarski不变量和索引集。 圣母院J.正式日志。 47 ( 1 ) : 1-23 ( 2006 ) 2004 [注2] 芭芭拉·卡西玛 :
素数模型的度谱。 J.塞姆。 日志。 69 ( 2 ) : 430-442 ( 2004 ) [j1] 芭芭拉·卡西玛 , 丹尼斯·赫施费尔特 , 朱莉娅·奈特 , 罗伯特·索尔 :
边界素数模型。 J.塞姆。 日志。 69 ( 4 ) : 1117-1142 ( 2004 )
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)