×
作者ID: 宽边.克里斯托弗-h最近由“Broadbent,Christopher H”撰写的zbMATH文章
发布日期: 克里斯托弗·布劳德本特;Christopher H.Broadbent。
已编制索引的文档: 8出版物自2009年起
合著者: 7合著者具有5联合出版物
195位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

6出版物有被引用30中的次23文件 引用人 年份
高阶递归格式的基于饱和度的模型检查。 Zbl 1356.68141号
克里斯托弗·布劳德本特;直纪小林
15
2013
关于由高阶递归方案生成的全局模型检查树。 Zbl 1234.68252号
克里斯托弗·布劳德本特;卢克·翁
5
2009
C-SHORe:一种可折叠的高阶验证方法。 Zbl 1323.68364号
克里斯托弗·布劳德本特;Carayol,阿诺;马修·黑格;奥利维尔·塞雷
4
2013
CPDA图上一阶逻辑的可判定极限。 兹比尔1245.68121
Christopher H.Broadbent。
2012
关于高阶下推自动机的双相似性:二阶不可判定性。 兹比尔1354.68191
克里斯托弗·布劳德本特;斯特凡·格勒
2
2012
嵌套字和可折叠下推自动机的前缀重写。 Zbl 1367.68164号
克里斯托弗·布劳德本特
1
2012
高阶递归格式的基于饱和度的模型检查。 兹比尔1356.68141
克里斯托弗·布劳德本特;直纪小林
15
2013
C-SHORe:一种可折叠的高阶验证方法。 Zbl 1323.68364号
克里斯托弗·布劳德本特;Carayol,阿诺;马修·黑格;奥利维尔·塞雷
4
2013
CPDA图上一阶逻辑的可判定极限。 Zbl 1245.68121号
Christopher H.Broadbent。
2012
关于高阶下推自动机的双相似性:二阶不可判定性。 Zbl 1354.68191号
克里斯托弗·布劳德本特;斯特凡·格勒
2
2012
嵌套字和可折叠下推自动机的前缀重写。 兹比尔1367.68164
克里斯托弗·布劳德本特
1
2012
关于由高阶递归方案生成的全局模型检查树。 Zbl 1234.68252号
克里斯托弗·布劳德本特;卢克·翁
5
2009

按年份列出的引文