马克·贝泽姆
人员信息
优化列表
2020年–今天
2024 [公元24年] 皮埃尔·卡涅 , 乌尔里克·托本·布赫霍尔茨 , 尼古拉·克劳斯 , 马克·贝泽姆 :
关于单价基础中球体的对称性。 低收入国家 2024 : 20:1-20:14 [i8] 皮埃尔·卡涅 , 乌尔里克·巴赫霍尔茨 , 尼古拉·克劳斯 , 马克·贝泽姆 :
关于单价基础中球体的对称性。 CoRR公司 abs/2401.15037 ( 2024 ) 2022 [公元36年] 马克·贝泽姆 , 蒂埃里·科昆 :
膨胀自同态联合相似的循环检查和一致词问题。 西奥。 计算。 科学。 913 : 1-7 ( 2022 ) [c23] 马克·贝泽姆 , 蒂埃里·科昆 , 彼得·戴比杰 , 马丁·埃斯卡多 :
显式宇宙多态的类型理论。 类型 2022 : 13:1-13:16 [i7] 马克·贝泽姆 , 蒂埃里·科昆 , 彼得·戴比杰 , 马丁·埃斯卡多 :
具有宇宙级判断的类型理论。 CoRR公司 abs/2212.03284 ( 2022 ) 2021 [j35] 马克·贝泽姆 , 蒂埃里·科昆 , 彼得·戴比杰 , 马丁·埃斯卡多 :
关于广义代数理论和具有族的范畴。 数学。 结构。 计算。 科学。 31 ( 9 ) : 1006-1023 ( 2021 ) 2020 [电子4] 马克·贝泽姆 , 阿西亚·马布比 :
2019年6月11日至14日在挪威奥斯陆举行的第25届国际证明类型和程序会议,Types 2019。 LIPIcs公司 175, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2020 ,国际标准图书编号 978-3-95977-158-0 [目录] [i6] 马克·贝泽姆 , 蒂埃里·科昆德 , 彼得·戴比杰 , 马丁·埃斯卡多 :
关于广义代数理论和带族范畴的注记。 CoRR公司 abs/2012.08370 ( 2020 )
2010 – 2019
2019 [公元34年] 马克·贝泽姆 , 蒂埃里·科昆 :
相干逻辑中的斯科勒姆定理。 芬丹。 信息学 170 ( 1-3 ) : 1-14 ( 2019 ) [公元33年] 马克·贝泽姆 , 蒂埃里·科昆 , 西蒙·胡贝尔 :
立方集合中的单价公理。 J.汽车。 原因。 63 ( 2 ) : 159-171 ( 2019 ) [i5] 马克·贝泽姆 , 乌尔里克·巴赫霍尔茨 , 丹尼尔·格雷森 :
大学数学中圆的构造。 CoRR公司 abs/1910.01856 ( 2019 ) 2017 [i4] 马克·贝泽姆 , 蒂埃里·科昆 , 西蒙·胡贝尔 :
立方体集合中的单价公理。 CoRR公司 abs/1710.10941 ( 2017 ) 2016 [公元32年] 罗伯特·阿斯因 , 马克·贝泽姆 , 罗伯特·尼文胡斯 :
通过将边界的析取表示为线性约束来改进IntSat。 AI社区。 29 ( 1 ) : 205-209 ( 2016 ) [公元22年] 罗宾·亚当斯 , 马克·贝泽姆 , 蒂埃里·科昆德 :
高阶极小逻辑中命题可拓性的规范化计算规则。 类型 2016 : 3:1-3:20 【c21】 马克·贝泽姆 , 蒂埃里·科昆 , 中田惠子 , 埃里克·帕尔曼 :
工作中的可实现性:分离两种有限性的建设性概念。 类型 2016 : 6:1-6:23 [i3] 罗宾·亚当斯 , 马克·贝泽姆 , 蒂埃里·科昆 :
高阶极小逻辑中单价的强规范化计算规则。 CoRR公司 abs/1610.00026 ( 2016 ) 2015 [公元31年] 马克·贝泽姆 , 蒂埃里·科昆 :
单形集的克里普克模型。 西奥。 计算。 科学。 574 : 86-91 ( 2015 ) [公元20年] 马克·贝泽姆 , 蒂埃里·科昆 , 埃里克·帕尔曼 :
Kan单集中的非构造性。 薄层色谱分析 2015 : 92-106 2014 [第19条] 萨娜·斯托亚诺维奇 , 朱利安·纳布克斯 , 马克·贝泽姆 , Predrag Janicic公司 :
相干逻辑白话。 CICM公司 2014 : 388-403 [i2] 萨娜·斯托亚诺维奇 , 朱利安·纳布克斯 , 马克·贝泽姆 , Predrag Janicic公司 :
相干逻辑白话。 CoRR公司 abs/1405.3391 ( 2014 ) 2013 [第18条] 马克·贝泽姆 , 蒂埃里·科昆德 , 西蒙·胡贝尔 :
立方集的类型理论模型。 类型 2013 : 107-128 2012 【j30】 马克·贝泽姆 , 克莱门斯抓斗手 , 米查尔·瓦利基 :
有向图可解性的表示能力。 Ann.纯粹应用。 日志。 163 ( 三 ) : 200-213 ( 2012 ) [公元29年] 马克·贝泽姆 , 中田惠子 , 塔尔莫·乌斯塔卢 :
在有限的红色溪流上。 日志。 方法计算。 科学。 8 ( 4 ) ( 2012 ) [公元28年] 马克·贝泽姆 , 达格·霍夫兰 , Hoang Truong公司 :
用于计算软件组件实例的类型系统。 西奥。 计算。 科学。 458 : 29-48 ( 2012 ) 2011 [第17条] 中田惠子 , 塔尔莫·乌斯塔卢 , 马克·贝泽姆 :
用扇形定理和条归纳法证明明珠——用混合归纳法和合归纳法穿过无限树。 阿普拉斯 2011 : 353-368 [电子3] 马克·贝泽姆 :
计算机科学逻辑,第25届国际研讨会/第20届EACSL年会,CSL 2011年9月12日至15日,挪威卑尔根,会议记录。 LIPIcs公司 12, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2011 ,国际标准图书编号 978-3-939897-32-3 [目录] 2010 [公元27年] 马克·贝泽姆 , 罗伯特·尼文胡斯 , 恩里克·罗德里格斯-卡博内尔 :
极大代数、控制理论、超图等领域的难题。 信息处理。 莱特。 110 ( 4 ) : 133-138 ( 2010 )
2000 – 2009
2009 [公元26年] 约翰·费舍尔 , 马克·贝泽姆 :
Skolem机器。 芬丹。 信息学 91 ( 1 ) : 79-103 ( 2009 ) [公元25年] 米查尔·瓦利基 , 马克·贝泽姆 , Wojtek Szajnkenig公司 :
发展有限推理。 J.日志。 语言信息。 18 ( 1 ) : 97-129 ( 2009 ) 2008 [公元24年] 马克·贝泽姆 , 罗伯特·尼文胡斯 , 恩里克·罗德里格斯-卡博内尔 :
求解极大代数中双边线性系统的Butkovic-Zimmermann算法的指数行为。 谨慎。 申请。 数学。 156 ( 18 ) : 3506-3509 ( 2008 ) [公元23年] 马克·贝泽姆 , 迪米特里·亨德里克斯 :
论相干逻辑中海森堡定理证明的机械化。 J.汽车。 原因。 40 ( 1 ) : 61-85 ( 2008 ) [第16条] 马克·贝泽姆 , 罗伯特·尼文胡斯 , 恩里克·罗德里格斯-卡博内尔 :
最大原子问题及其相关性。 LPAR公司 2008 : 47-61 2007 [第15条] 约翰·费舍尔 , 马克·贝泽姆 :
斯科利姆机器和几何逻辑。 ICTAC公司 2007 : 201-215 [第14条] 马克·贝泽姆 , 托尔·兰霍姆 , 米查尔·瓦利基 :
序列逻辑中的完备性和可判定性。 LPAR公司 2007 : 123-137 [第13条] 约翰·费舍尔 , 马克·贝泽姆 :
Skolem机器计算的查询完整性。 MCU(微控制器) 2007 : 182-192 2005 [第12条] 马克·贝泽姆 :
论相干逻辑的不确定性。 流程、术语和周期 2005 : 6-13 [第11条] Hoang Truong公司 , 马克·贝泽姆 :
在存在显式解除分配的情况下查找资源边界。 ICTAC公司 2005 : 227-241 [c10] 马克·贝泽姆 , 蒂埃里·科昆 :
自动化相干逻辑。 LPAR公司 2005 : 246-260 2004 [公元22年] 马克·贝泽姆 , 克里斯蒂安·斯洛珀 , 托尔·兰霍姆 :
使用测试集识别形式语言的黑盒和白盒。 语法 7 : 111-123 ( 2004 ) 2003 [公元21年] 马克·贝泽姆 , 蒂埃里·科昆 :
纽曼引理-证明自动化和几何逻辑的案例研究,《计算机科学专栏中的逻辑》。 牛市。 原子吸收光谱 79 : 86-100 ( 2003 ) [公元20年] 托尔·兰霍姆 , 马克·贝泽姆 :
偶数线性语言的描述性特征。 语法 6 ( 三 ) : 169-181 ( 2003 ) 【c9】 马克·贝泽姆 , Hoang Truong公司 :
用于组件安全实例化的类型系统。 FOCLASA公司 2003 : 197-217 2002 [公元19年] 马克·贝泽姆 , 迪米特里·亨德里克斯 , 汉斯·德尼维尔 :
使用解析的类型理论中的自动证明构造。 J.汽车。 原因。 29 ( 3-4 ) : 253-275 ( 2002 ) 2001 【c8】 马克·贝泽姆 :
一种改进的高阶逻辑程序可拓性准则。 CSL公司 2001 : 203-216 2000 【c7】 马克·贝泽姆 , 迪米特里·亨德里克斯 , 汉斯·德尼维尔 :
使用解析的类型理论中的自动证明构造。 CADE公司 2000 : 148-163
1990 – 1999
1999 【c6】 马克·贝泽姆 :
简单类型逻辑程序的扩展性。 ICLP公司 1999 : 395-410 [第1页] Krzysztof R.Apt公司 , 马克·贝泽姆 :
公式作为程序。 逻辑程序设计范式 1999 : 75-107 1998 [公元18年] 马克·贝泽姆 , 简·威廉·克洛普 , 文森特·范·奥斯特罗姆 :
合流图技巧。 Inf.计算。 141 ( 2 ) : 172-204 ( 1998 ) [公元17年] 斯特凡诺·贝拉迪 , 马克·贝泽姆 , 蒂埃里·科昆 :
关于选择公理的计算内容。 J.塞姆。 日志。 63 ( 2 ) : 600-622 ( 1998 ) [i1] Krzysztof R.Apt公司 , 马克·贝泽姆 :
公式作为程序。 CoRR公司 反恐精英。 LO/9811017号 ( 1998 ) 1997 [公元16年] 马克·贝泽姆 , 罗兰·波尔 , 简·弗里索·格鲁特 :
构造微积分中的形式化过程代数验证。 形式方面计算。 9 ( 1 ) : 1-48 ( 1997 ) [j15] 马克·贝泽姆 , 奥尔本庞塞 :
队列的两个有限规范。 西奥。 计算。 科学。 177 ( 2 ) : 487-507 ( 1997 ) [电子2] 德克·范·戴伦 , 马克·贝泽姆 :
1996年9月21日至27日,荷兰乌得勒支,第十届计算机科学逻辑国际研讨会,CSL’96,EACSL年会,论文集。 计算机科学课堂讲稿 1258, 施普林格 1997 ,国际标准图书编号 3-540-63172-0 [目录] 1996 [公元14年] 埃里克·巴伦德森 , 马克·贝泽姆 :
简单类型结构的多形扩张-应用于杆递归最小化。 Ann.纯粹应用。 日志。 79 ( 三 ) : 221-280 ( 1996 ) [j13] 马克·贝泽姆 , 简·斯普林因特维尔德 :
λ中居住不确定性的简单证明 P(P) . J.功能。 程序。 6 ( 5 ) : 757-761 ( 1996 ) 1995 【c5】 斯特凡诺·贝拉尔迪 , 马克·贝泽姆 , 蒂埃里·科昆 :
实现对选择公理的否定解释。 薄层色谱分析 1995 : 47-62 1994 [公元12年] 马克·贝泽姆 , 简·弗里索·格鲁特 :
µCRL中一位滑动窗口协议的正确性证明。 计算。 J。 37 ( 4 ) : 289-307 ( 1994 ) [公元11年] 马克·贝泽姆 , 扬·基森坎普(Jan Keuzenkamp) :
已完成非周期项目的不确定目标。 新一代。 计算。 12 ( 2 ) : 209-213 ( 1994 ) 【c4】 马克·贝泽姆 , 简·弗里索·格鲁特 :
带数据的过程代数中的不变量。 CONCUR公司 1994 : 401-416 1993 [公元10年] 马克·贝泽姆 :
逻辑程序的强终止。 J.日志。 程序。 15 ( 1&2 ) : 79-97 ( 1993 ) [电子1] 马克·贝泽姆 , 简·弗里索·格鲁特 :
类型化Lambda演算与应用,类型化Lambeda演算和应用国际会议,TLCA’93,荷兰乌得勒支,1993年3月16日至18日,会议记录。 计算机科学课堂讲稿 664, 施普林格 1993 ,国际标准图书编号 3-540-56517-5 [目录] 1991 [公元9年] 马克·贝泽姆 :
基于规则的专家系统的语义和一致性。 J.日志。 计算。 1 ( 4 ) : 477-495 ( 1991 ) [j8] Krzysztof R.公寓 , 马克·贝泽姆 :
非周期项目。 新一代。 计算。 9 ( 3/4 ) : 335-364 ( 1991 ) 1990 [j7] 马克·贝泽姆 :
重新审视决议的完整性。 西奥。 计算。 科学。 74 ( 2 ) : 227-237 ( 1990 ) 【c3】 Krzysztof R.Apt公司 , 马克·贝泽姆 :
非周期项目。 ICLP公司 1990 : 617-633
1980 – 1989
1989 [j6] 马克·贝泽姆 :
有限类型的紧凑和可优化函数。 J.塞姆。 日志。 54 ( 1 ) : 271-280 ( 1989 ) 【c2】 马克·贝泽姆 :
用水平映射表征逻辑程序的终止。 NACLP公司 1989 : 69-80 1988 [j5] 马克·贝泽姆 :
有限型泛函理论中杆递归的等价性。 架构(architecture)。 数学。 日志。 27 ( 2 ) : 149-160 ( 1988 ) 【j4】 马克·贝泽姆 , Jan van Leeuwen女士 :
关于对数分解复杂性的估计。 信息处理。 莱特。 26 ( 6 ) : 321-324 ( 1988 ) 【c1】 马克·贝泽姆 :
基于规则的专家系统的一致性。 CADE公司 1988 : 151-161 1985 [j3] 马克·贝泽姆 :
无需使用无限项的barercursive项的强规范化。 架构(architecture)。 数学。 日志。 25 ( 1 ) : 175-181 ( 1985 ) [注2] 马克·贝泽姆 :
HEO和HROE、ECF和ICFE之间的同构。 J.塞姆。 日志。 50 ( 2 ) : 359-371 ( 1985 ) [j1] 马克·贝泽姆 :
有限型强可优化泛函:包含不连续泛函的Barrecursion模型。 J.塞姆。 日志。 50 ( 三 ) : 652-660 ( 1985 )