迈克尔·范登·布姆
人员信息
优化列表
2020年–今天
2022 [i3] 安托万·阿马里利 , 本尼迪克特 , 皮埃尔·布赫斯 , 迈克尔·范登·布姆 :
使用传递数据和线性顺序数据的查询答案。 CoRR公司 abs/2202.08555 ( 2022 ) 2021 [j5] 本尼迪克特 , 皮埃尔·布赫斯 , 打捆机十类 , 加布里埃尔小狗 , 迈克尔·范登·布姆 :
从可见信息和背景知识推断。 ACM事务处理。 计算。 日志。 22 ( 2 ) : 13:1-13:69 ( 2021 )
2010 – 2019
2019 【j4】 本尼迪克特 , 皮埃尔·布赫斯 , 迈克尔·范登·布姆 :
可确定定点逻辑中的可定义性和插值。 日志。 方法计算。 科学。 15 ( 三 ) ( 2019 ) 2018 [j3] 安托万·阿马里利 , 本尼迪克特 , 皮埃尔·波吉斯 , 迈克尔·范登·布姆 :
使用传递数据和线性顺序数据的查询答案。 J.阿蒂夫。 智力。 物件。 63 : 191-264 ( 2018 ) 2017 [第11条] 本尼迪克特 , 皮埃尔·布赫斯 , 迈克尔·范登·布姆 :
确定定点逻辑中可定义性的特征。 ICALP公司 2017 : 107:1-107:14 [i2] 本尼迪克特 , 皮埃尔·布赫斯 , 迈克尔·范登·布姆 :
确定定点逻辑中可定义性的特征。 CoRR公司 abs/1705.01823 ( 2017 ) 2016 [注2] 本尼迪克特 , 打捆机十类 , 迈克尔·范登·布姆 :
防护逻辑中的有效插补和保护。 ACM事务处理。 计算。 日志。 17 ( 2 ) : 8 ( 2016 ) [第10条] 安托万·阿马里利 , 本尼迪克特 , 皮埃尔·布赫斯 , 迈克尔·范登·布姆 :
使用传递数据和线性顺序数据的查询答案。 国际JCAI 2016 : 893-899 【c9】 本尼迪克特 , 皮埃尔·布赫斯 , 迈克尔·范登·布姆 :
决定定点逻辑表达能力的提升。 低收入国家 2016 : 817-826 [i1] 安托万·阿马里利 , 本尼迪克特 , 皮埃尔·布赫斯 , 迈克尔·范登·布姆 :
使用传递数据和线性顺序数据的查询答案。 CoRR公司 abs/1607.00813 ( 2016 ) 2015 【c8】 本尼迪克特 , 打捆机十类 , 托马斯·科尔科姆贝特 , 迈克尔·范登·布姆 :
守卫逻辑有界性的复杂性。 低收入国家 2015 : 293-304 【c7】 本尼迪克特 , 打捆机十类 , 迈克尔·范登·布姆 :
用可判定定点逻辑插值。 低收入国家 2015 : 378-389 2014 【c6】 本尼迪克特 , 打捆机十类 , 迈克尔·范登·布姆 :
保护逻辑中的有效插值和保存。 CSL-LICS公司 2014 : 13:1-13:10 【c5】 阿奇姆·布卢门萨特 , 托马斯·科尔科姆贝特 , 丹尼斯·库珀伯格 , 帕维尔·帕里斯 , 迈克尔·范登·布姆 :
无限树上的双向成本自动机和成本逻辑。 CSL-LICS公司 2014 : 16:1-16:9 2013 【c4】 托马斯·科尔科姆贝特 , 丹尼斯·库珀伯格 , 克里斯托夫·勒丁 , 迈克尔·范登·布姆 :
判定Büchi可定义树语言的弱可定义性。 CSL公司 2013 : 215-230 2012 【b1】 迈克尔·范登·布姆 :
无限树上的弱成本自动机。 英国牛津大学, 2012 【c3】 丹尼斯·库珀伯格 , 迈克尔·范登·布姆 :
论成本逻辑对无限词的表达能力。 ICALP(二) 2012 : 287-298 2011 【c2】 丹尼斯·库珀伯格 , 迈克尔·范登·布姆 :
拟弱代价自动机:一种新的弱变量。 FSTTCS公司 2011 : 66-77 【c1】 迈克尔·范登·布姆 :
无限树上的弱代价一元逻辑。 MFCS公司 2011 : 580-591
2000 – 2009
2007 [j1] 朱莉娅·奈特 , 萨拉·米勒 , 迈克尔·范登·布姆 :
图灵可计算嵌入。 J.塞姆。 日志。 72 ( 三 ) : 901-918 ( 2007 )