艾丽斯·勒布
人员信息
附属: 荷兰阿姆斯特丹Vrije大学 附属: 新西兰基督城坎特伯雷大学
优化列表
2010 – 2019
2017 [公元12年] 艾丽斯·勒布 :
通用语言在卡纳普和塔斯基早期作品中的作用。 合成。 194 ( 1 ) : 15月31日 ( 2017 ) 2014 [公元11年] 艾丽斯·勒布 :
走向超限类型理论:重读塔斯基的瓦尔海茨贝格里夫。 合成。 191 ( 10 ) : 2281-2299 ( 2014 ) [j10] 艾丽斯·勒布 :
统一模型理论和逻辑的普遍主义传统:卡纳普早期的公理学。 合成。 191 ( 12 ) : 2815-2833 ( 2014 ) 2013 [公元9年] 艾丽斯·勒布 :
李普希茨在构造性逆向数学中的作用。 日志。 J.IGPL公司 21 ( 1 ) : 28-43 ( 2013 ) 2012 [j8] 阿里安娜·贝蒂 , 艾丽斯·勒布 :
在塔斯基的固体几何学基础上。 牛市。 符号。 日志。 18 ( 2 ) : 230-260 ( 2012 ) 2011 [j7] 汉内斯·迪纳 , 艾丽斯·勒布 :
对微分方程的建设性反向研究。 J.日志。 分析。 三 ( 2011 ) 2010 [j6] 道格拉斯·S·布里奇斯 , 艾丽斯·勒布 :
建设性地粘合连续函数。 架构(architecture)。 数学。 日志。 49 ( 5 ) : 603-616 ( 2010 )
2000 – 2009
2009 [j5] 汉内斯·迪纳 , 艾丽斯·勒布 :
构造逆数学中[0,1]上的实函数序列。 Ann.纯粹应用。 日志。 157 ( 1 ) : 50-61 ( 2009 ) 【j4】 艾丽斯·勒布 :
构造逆数学中R的负稠密子集的不可分解性。 日志。 J.IGPL公司 17 ( 2 ) : 173-177 ( 2009 ) 2008 [j3] 艾丽斯·勒布 :
构造性反数学中R和R\{0}的不可分解性。 日志。 J.IGPL公司 16 ( 三 ) : 269-273 ( 2008 ) 【c4】 艾丽斯·勒布 :
因式分解直觉定理:连续性原理和一致连续性定理。 CiE公司 2008 : 379-388 2007 [注2] 赫尔曼·杰弗斯 , 艾丽斯·勒布 :
图的自然演绎:形式定义和计算规则。 数学。 结构。 计算。 科学。 17 ( 三 ) : 485-526 ( 2007 ) 【c3】 赫尔曼·杰弗斯 , 艾丽斯·勒布 :
具有通用量化的演绎图。 TERMGRAPH@ETAPS(预计到达时间) 2007 : 93-108 2006 【c2】 赫尔曼·杰弗斯 , 艾丽斯·勒布 :
从演绎图到证明网:演绎图形表示中的方框和共享。 MFCS公司 2006 : 39-57 2005 [j1] 艾丽斯·勒布 :
(弱)Fan定理的等价物。 Ann.纯粹应用。 日志。 132 ( 1 ) : 51-66 ( 2005 ) 【c1】 安德烈亚·阿斯佩蒂 , 赫尔曼·杰弗斯 , 艾丽斯·勒布 , 莱昂内尔·埃利·马曼 , 克劳迪奥·萨塞尔多蒂·科恩 :
带有形式化证明和定义的交互式代数课程。 MKM公司 2005 : 315-329