布鲁诺·库塞尔;艾琳·杜兰德 超越一元二阶逻辑的飞行自动机计算。 (英语) Zbl 1335.68116号 西奥。计算。科学。 619, 32-67 (2016).MSC公司:65年第68季度 05年3月 05C85号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{I.Durand},Theor。计算。科学。619、32-67(2016年;Zbl 1335.68116) 全文: 内政部 arXiv公司
布鲁诺·库塞尔;克里斯蒂安·德尔霍姆 可数图的模分解。一元二阶逻辑中的定义和构造。 (英语) Zbl 1136.68041号 西奥。计算。科学。 394,编号1-2,1-38(2008).MSC公司:68兰特 03B15号机组 05C70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{C.Delhommé},Theor。计算。科学。394,编号1--2,1--38(2008;Zbl 1136.68041) 全文: 内政部 哈尔
布鲁诺·库塞尔;帕斯卡尔·威尔 图集的可识别性是一个稳健的性质。 (英语) Zbl 1077.68070号 西奥。计算。科学。 342,编号2-3,173-228(2005).MSC公司:68兰特 05年3月 2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{P.Weil},Theor。计算。科学。342,编号2--3,173-228(2005;Zbl 1077.68070) 全文: 内政部 arXiv公司
布鲁诺·库塞尔 图的一元二阶逻辑。十四: 一致稀疏图和边集量化。 (英语) Zbl 1038.68048号 西奥。计算。科学。 299,第1-3、1-36号(2003年).MSC公司:2015年第68季度 03B15号机组 68兰特 PDF格式BibTeX公司 XML格式引用 \文本{B.库塞尔},Theor。计算。科学。299,编号1--3,1--36(2003;Zbl 1038.68048) 全文: 内政部
布鲁诺·库塞尔;特奥多尔·科纳皮克 一阶代换的计算是一元二阶相容的。 (英语) Zbl 0996.68061号 西奥。计算。科学。 281,第1-2期,177-206(2002).MSC公司:2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{T.Knapik},Theor。计算。科学。281,编号1--2,177-206(2002;Zbl 0996.68061) 全文: 内政部
库塞尔,B。 图的一元二阶逻辑。十三: 带有边缘交叉点的图形。 (英语) Zbl 0945.68144号 西奥。计算。科学。 244,编号1-2,63-94(2000).MSC公司:68兰特 03B15号机组 05年10月 05C62号 PDF格式BibTeX公司 XML格式引用 \文本{B.库塞尔},Theor。计算。科学。244,编号1--2,63-94(2000;Zbl 0945.68144) 全文: 内政部
布鲁诺·库塞尔 图的一元二阶逻辑。十二: 平面图和平面图。 (英语) Zbl 0951.03004号 西奥。计算。科学。 237,第1-2、1-32号(2000年). 审核人:M.Steinby(图尔库) MSC公司:03B15号机组 05C99年 05年10月 PDF格式BibTeX公司 XML格式引用 \文本{B.库塞尔},Theor。计算。科学。237,编号1--2,1--32(2000;Zbl 0951.03004) 全文: 内政部
布鲁诺·库塞尔 图的一元二阶逻辑。十一: 连通图的层次分解。 (英语) Zbl 0938.03015号 西奥。计算。科学。 224,编号1-2,35-58(1999). 审核人:M.Steinby(图尔库) MSC公司:03B15号机组 03C85号 05年4月40日 PDF格式BibTeX公司 XML格式引用 \文本{B.库塞尔},Theor。计算。科学。224,编号1--2,35-58(1999;Zbl 0938.03015) 全文: 内政部
布鲁诺·库塞尔 语言理论和图文法的泛代数的基本概念。 (英语) Zbl 0874.68170号 西奥。计算。科学。 163,编号1-2,1-54(1996).MSC公司:65年第68季度 08A70号 68兰特 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{B.库塞尔},Theor。计算。科学。163,编号1--2,1--54(1996;Zbl 0874.68170) 全文: 内政部
布鲁诺·库塞尔 图的一元二阶逻辑。十: 线性排序。 (英语) Zbl 0877.68087号 西奥。计算。科学。 161,编号1-2,87-143(1996).MSC公司:68兰特 03B15号机组 05年3月 PDF格式BibTeX公司 XML格式引用 \文本{B.库塞尔},Theor。计算。科学。161,编号1--2,87-143(1996;Zbl 0877.68087) 全文: 内政部
布鲁诺·库塞尔 图的一元二阶逻辑。九: 机器及其行为。 (英语) Zbl 0872.03026号 西奥。计算。科学。 151,第1期,第125-162页(1995年).MSC公司:05年3月 60年第68季度 65年第68季度 68兰特 03B25号 03B15号机组 PDF格式BibTeX公司 XML格式引用 \文本{B.库塞尔},Theor。计算。科学。151,编号1,125--162(1995;Zbl 0872.03026) 全文: 内政部
布鲁诺·库塞尔 一元二阶可定义图变换:综述。 (英语) Zbl 0805.68077号 西奥。计算。科学。 126,第1期,第53-75页(1994年).MSC公司:65年第68季度 2012年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \文本{B.库塞尔},Theor。计算。科学。126,编号1,53--75(1994;Zbl 0805.68077) 全文: 内政部
库塞尔,B。;M·莫斯巴。 树分解图的一元二阶估计。 (英语) Zbl 0789.68083号 西奥。计算。科学。 109,编号1-2,49-82(1993).MSC公司:2012年第68季度 68兰特 03B15号机组 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{M.Mosbah},Theor。计算。科学。109,编号1--2,49-82(1993;Zbl 0789.68083) 全文: 内政部
布鲁诺·库塞尔 图的一元二阶逻辑。七: 图作为关系结构。 (英语) 兹比尔0809.03006 西奥。计算。科学。 101,第1期,3-33页(1992年). 审核人:李翔(贵阳) MSC公司:03B15号机组 05C99年 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{B.库塞尔},Theor。计算。科学。101,第1号,第3--33号(1992年;Zbl 0809.03006) 全文: 内政部
布鲁诺·库塞尔 递归查询和无上下文图形语法。 (英语) Zbl 0716.68026号 西奥。计算。科学。 78,第1期,217-244(1991).MSC公司:第68页,共15页 2012年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \文本{B.库塞尔},Theor。计算。科学。78,No.1,217--244(1991;Zbl 0716.68026) 全文: 内政部
布鲁诺·库塞尔 图的一元二阶逻辑。五: 缩小可定义性和可识别性之间的差距。 (英语) Zbl 0754.68065号 西奥。计算。科学。 80,第2期,153-202(1991). 审核人:M.Steinby(图尔库) MSC公司:65年第68季度 68兰特 05年3月 2012年第68季度 03B15号机组 PDF格式BibTeX公司 XML格式引用 \文本{B.库塞尔},Theor。计算。科学。80,第2号,153--202(1991;Zbl 0754.68065) 全文: 内政部
库塞尔,B。 无上下文重写的公理化定义及其在NLC图文法中的应用。 (英语) Zbl 0644.68095号 西奥。计算。科学。 55, 141-181 (1987). 审核人:A.V.阿尼西莫夫 MSC公司:65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \文本{B.库塞尔},Theor。计算。科学。55、141--181(1987年;Zbl 0644.68095) 全文: 内政部
布鲁诺·库塞尔 正则系统的等价和转换-递归程序方案和语法的应用。 (英语) Zbl 0636.68104号 西奥。计算。科学。 42, 1-122 (1986). 审核人:A.V.阿尼西莫夫 MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{B.Courcelle},Theor。计算。科学。42、1-122(1986年;Zbl 0636.68104) 全文: 内政部
J.P.布拉奎莱尔。;库塞尔,B。 正则树的两个星高问题的解。 (英语) Zbl 0554.68037号 西奥。计算。科学。 30, 205-239 (1984).MSC公司:65年第68季度 68兰特 05二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Braquelaire}和\textit{B.Courcelle},Theor。计算。科学。30205-239(1984年;Zbl 0554.68037) 全文: 内政部
布鲁诺·库塞尔 无限树的基本性质。 (英语) Zbl 0521.68013号 西奥。计算。科学。 25, 95-169 (1983).MSC公司:68号01 60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \文本{B.库塞尔},Theor。计算。科学。25,95-169(1983年;兹bl 0521.68013) 全文: 内政部
布鲁诺·库塞尔;保罗·弗朗西·扎内塔奇 属性语法和递归程序方案。一、二、。 (英语) Zbl 0481.68068号 西奥。计算。科学。 17, 163-191, 235-257 (1982).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{P.Franchi-Zannettacci},Theor。计算。科学。17、163--191、235--257(1982年;Zbl 0481.68068) 全文: 内政部
布鲁诺·库塞尔 用语言表示树。二、。 (英语) Zbl 0428.68088号 西奥。计算。科学。 7, 25-55 (1978).MSC公司:65年第68季度 2005年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{B.库塞尔},Theor。计算。科学。7、25——55(1978;Zbl 0428.68088) 全文: 内政部
布鲁诺·库塞尔 用语言表示树。一、。 (英语) Zbl 0377.68040号 西奥。计算。科学。 6, 255-279 (1978).MSC公司:65年第68季度 65年第68季度 05二氧化碳 PDF格式BibTeX公司 XML格式引用 \文本{B.库塞尔},Theor。计算。科学。6255-279(1978年;Zbl 0377.68040) 全文: 内政部