布鲁诺·库塞尔 加权图的展开和覆盖。 (英语) Zbl 07737445号 芬丹。通知。 189,编号1,1-47(2022).MSC公司:05C70号 05C22号 68兰特 PDF格式BibTeX公司 XML格式引用 \发短信{B.Courcelle},Fundam。通知。189,编号1,1-47(2022;Zbl 07737445) 全文: 内政部 arXiv公司
布鲁诺·库塞尔 序理论树:一元二阶描述和正则性。 (英语) Zbl 07597927号 芬丹。通知。 186,编号1-4,89-120(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},芬丹。通知。186,编号1--4,89-120(2022;Zbl 07597927) 全文: 内政部 arXiv公司
布鲁诺·库塞尔 诱导有序理论树的中间性。 (英语) Zbl 07594864号 离散数学。西奥。计算。科学。 23,第2号,第6号论文,29页(2021年).MSC公司:03B16号 06A07年 05二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},离散数学。西奥。计算。科学。23,第2号,第6号论文,29页(2021;Zbl 07594864) 全文: 内政部 arXiv公司 链接
布鲁诺·库塞尔 有序理论树中介数的公理化。 (英语) Zbl 1509.03029号 日志。方法计算。科学。 17,第1号,第11号论文,42页(2021年).MSC公司:03B16号 06A07年 05二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},日志。方法计算。科学。17,第1号,第11号论文,42页(2021;Zbl 1509.03029) 全文: arXiv公司 链接
布鲁诺·库塞尔;艾琳·杜兰德;迈克尔·拉斯金 关于用自动机定义线性次序。 (英语) Zbl 1484.06001号 莫斯克。J.库姆。数论 9,第3期,253-291(2020年).MSC公司:06年05月 05C38号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{B.Courcelle}等人,莫斯科。J.库姆。数论9,第3期,253--291(2020;Zbl 1484.06001) 全文: 内政部 哈尔
布鲁诺·库塞尔 关于拟平面图:剪接宽度和逻辑描述。 (英语) Zbl 1437.05059号 离散应用程序。数学。 278, 118-135 (2020).MSC公司:05年10月 05二氧化碳 05C85号 05C75号 03B16号 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},离散应用程序。数学。278118-135(2020年;Zbl 1437.05059) 全文: 内政部 哈尔
布鲁诺·库塞尔 语法和分裂分解的集团宽度界限。 (英语) Zbl 1437.05193号 离散应用程序。数学。 278, 93-117 (2020).MSC公司:05C70号 05C20号 05C85号 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},离散应用程序。数学。27893--117(2020年;Zbl 1437.05193) 全文: 内政部 哈尔
布鲁诺·库塞尔 从树分解到团宽项。 (英语) Zbl 1395.05097号 离散应用程序。数学。 248, 125-144 (2018).MSC公司:05C42号 05年10月 05C12号 05C85号 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},离散应用程序。数学。248125-144(2018;Zbl 1395.05097) 全文: 内政部 哈尔
布鲁诺·库塞尔 用于检查的飞行自动机\(\mathrm{MSO}_2\)图形属性。 (英语) Zbl 1445.03045号 离散应用程序。数学。 245, 236-252 (2018). 审核人:罗杰·维尔梅尔(蒙特勒) MSC公司:05年3月 03B70号 05C75号 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},离散应用程序。数学。245236-252(2018;Zbl 1445.03045) 全文: 内政部 arXiv公司
布鲁诺·库塞尔 可数图的秩宽度的几个概念。 (英语) Zbl 1354.05038号 J.库姆。理论,Ser。B类 123, 186-214 (2017).MSC公司:05C12号 05C60型 05C30号 PDF格式BibTeX公司 XML格式引用 \textit{B.库塞尔},J.库姆。理论,Ser。B 123、186--214(2017;Zbl 1354.05038) 全文: 内政部 哈尔
布鲁诺·库塞尔;艾琳·杜兰德 超越一元二阶逻辑的飞行自动机计算。 (英语) 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年;兹bl 1335.68116) 全文: 内政部 arXiv公司
布鲁诺·库塞尔 正则性等于拟树的一元二阶可定义性。 (英语) Zbl 1465.03072号 Beklemishev,Lev D.(编辑)等人,《逻辑与计算领域II》。尤里·古雷维奇75岁生日之际献给他的散文。查姆:施普林格。莱克特。注释计算。科学。9300, 129-141 (2015).MSC公司:03C65号 03C15号 03C85号 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},莱克特。注释计算。科学。9300、129--141(2015;Zbl 1465.03072) 全文: 内政部
布鲁诺·库塞尔;Heggenes,皮纳尔;丹尼尔·梅斯特;查里斯·帕帕佐普洛斯;乌迪·罗蒂斯 通过嵌套分区的clique-width特征。 (英语) Zbl 1315.05110号 离散应用程序。数学。 187, 70-81 (2015).MSC公司:05C70号 05C69号 05C12号 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}等人,《离散应用》。数学。187、70-81(2015年;Zbl 1315.05110) 全文: 内政部
布鲁诺·库塞尔 曲线的共同结构具有相同的高斯词。 (英语) Zbl 1328.68155号 Adamatzky,Andrew(编辑),自动化,通用性,计算。向莫里斯·马根斯坦致敬。查姆:施普林格(ISBN 978-3-319-09038-2/hbk;978-3-3169-09039-9/电子书)。《涌现、复杂性与计算》12,1-37(2015)。MSC公司:68兰特 57M99型 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},紧急情况复杂。计算。12,1--37(2015年;兹bl 1328.68155) 全文: 内政部 哈尔
布鲁诺·库塞尔 楔宽和边缘收缩。 (英语) Zbl 1329.05278号 Inf.流程。莱特。 114,编号1-2,42-44(2014).MSC公司:05C85号 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},Inf.过程。莱特。114,编号1--2,42-44(2014;Zbl 1329.05278) 全文: 内政部 arXiv公司
布鲁诺·库塞尔;艾琳·杜兰德 用于验证一元二阶图属性的自动机。 (英语) Zbl 1285.03049号 J.应用。日志。 10,第4期,368-409(2012).MSC公司:05年3月 03年2月25日 65年第68季度 60年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{I.Durand},J.Appl。日志。10,第4号,368--409(2012;Zbl 1285.03049) 全文: 内政部
布鲁诺·库塞尔;马马杜·穆斯塔法·坎特 描述等级宽度的图形操作。 (英语) Zbl 1173.05349号 离散应用程序。数学。 157,第4期,627-640(2009年).MSC公司:05C85号 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{M.M.Kanté},离散应用。数学。157,第4号,627--640(2009;Zbl 1173.05349) 全文: 内政部
布鲁诺·库塞尔 图的一元二阶逻辑:算法和语言理论应用。 (英语) Zbl 1234.03023号 Dediu,Adrian Horia(编辑)等人,《语言和自动机理论与应用》。2009年4月2-8日在西班牙塔拉戈纳举行的2009年拉丁美洲旅游协会第三届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00981-5/pbk)。计算机科学课堂讲稿5457,19-22(2009)。MSC公司:05年3月 03B15号机组 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},莱克特。注释计算。科学。5457、19-22(2009年;Zbl 1234.03023) 全文: 内政部
布鲁诺·库塞尔 圆图和一元二阶逻辑。 (英语) Zbl 1149.03011号 J.应用。日志。 6,第3期,416-442(2008).MSC公司:03B15号机组 05C62号 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},J.Appl.(文本{B.库塞尔})。日志。6,第3号,416--442(2008;Zbl 1149.03011) 全文: 内政部
布鲁诺·库塞尔;克里斯蒂安·德尔霍姆 可数图的模分解。一元二阶逻辑中的定义和构造。 (英语) 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 1141.68523号 Brandstädt,Andreas(编辑)等人,《计算机科学中的图论概念》。2007年6月21日至23日在德国多恩堡举行的2007年工作组第33届国际研讨会。修订论文。柏林:施普林格出版社(ISBN 978-3-540-74838-0/pbk)。计算机科学课堂讲稿4769,66-75(2007)。MSC公司:68兰特 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{M.M.Kanté},莱克特。注释计算。科学。4769、66-75(2007年;Zbl 1141.68523) 全文: 内政部
布鲁诺·库塞尔;乌姆,桑吉尔 顶点子项、一元二阶逻辑和Seese的一个猜想。 (英语) Zbl 1121.03016号 J.库姆。理论,Ser。B类 97,第1期,91-126(2007). 审核人:马格努斯·斯坦比(图尔库) MSC公司:03B15号机组 03年2月25日 05C83号 05C85号 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{S.-I.Oum},J.Comb。理论,Ser。B 97,编号1,91-126(2007;Zbl 1121.03016) 全文: 内政部
A.Blumensath。;库塞尔,B。 可识别性、超图操作和逻辑类型。 (英语) Zbl 1110.03021号 Inf.计算。 204,第6号,853-919(2006).MSC公司:03C85号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Blumensath}和\textit{B.Courcelle},Inf.Comput。204,第6号,853--919(2006;Zbl 1110.03021) 全文: 内政部
布鲁诺·库塞尔 图的一元二阶逻辑。十五: 根据D.Seese的一个猜想。 (英语) 邮编1099.03007 J.应用。日志。 4,第1期,79-114(2006). 审核人:马格努斯·斯坦比(图尔库) MSC公司:03年2月25日 03B15号机组 05C99年 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},J.Appl.(文本{B.库塞尔})。日志。4,第1号,79--114(2006;Zbl 1099.03007) 全文: 内政部
布鲁诺·库塞尔 一元二阶逻辑中可定义的图分解。 (英语) Zbl 1137.03303号 AndréRaspaud等人,第七届图论国际学术讨论会,法国海尔斯,2005年9月12日至16日。阿姆斯特丹:爱思唯尔。离散数学电子笔记22,13-19(2005)。MSC公司:03年2月25日 03B15号机组 05C70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},电子。注释离散数学。22、13-19(2005;Zbl 1137.03303) 全文: 内政部
布鲁诺·库塞尔;韦尔·帕斯卡 图集的可识别性是一个稳健的性质。 (英语) 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公司
库塞尔,B。 可数图的Clique-width:紧性性质。 (英语) 兹比尔1073.68062 离散数学。 276,编号1-3,127-148(2004).MSC公司:68兰特 03年2月25日 05C69号 05二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},离散数学。276,编号1--3,127-148(2004;Zbl 1073.68062) 全文: 内政部
库塞尔,B。;瓦尼卡特,R。 有界剪接宽度图的查询高效实现。 (英语) Zbl 1029.68113号 离散应用程序。数学。 131,第1期,129-150(2003).MSC公司:68兰特 05C78号 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{R.Vanica},离散应用。数学。131,第1号,129--150(2003;Zbl 1029.68113) 全文: 内政部
布鲁诺·库塞尔 图的一元二阶逻辑。十四: 一致稀疏图和边集量化。 (英语) 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 1263.68071号 Bauderon,Michel(编辑)等人,GETGRATS图形转换系统闭幕研讨会,法国波尔多,2001年6月22日至23日。诉讼程序。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记51,122-126(2002)。MSC公司:2012年第68季度 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},电子。注释Theor。计算。科学。51、122——126(2002年;Zbl 1263.68071) 全文: 内政部
布鲁诺·库塞尔 凸超图结构的一元二阶定义。 (英语) Zbl 1049.68098号 Inf.计算。 178,第2期,391-411页(2002年).MSC公司:68兰特 05年6月15日 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},信息计算。178,No.2,391--411(2002;Zbl 1049.68098) 全文: 内政部
布鲁诺·库塞尔;特奥多尔·科纳皮克 一阶代换的计算是一元二阶相容的。 (英语) 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。;Makowsky,J.A。;美国Rotics。 关于一元二阶逻辑中可定义的图枚举问题的固定参数复杂性。 (英语) Zbl 0972.05023号 离散应用程序。数学。 108,第1-2、23-52号(2001年). 审核人:Hans L.Bodlaender(乌得勒支) MSC公司:05C30号 03B15号机组 05C85号 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}等人,《离散应用》。数学。108,编号1--2,23-52(2001;Zbl 0972.05023) 全文: 内政部
库塞尔,B。 图的一元二阶逻辑。十三: 带有边缘交叉点的图形。 (英语) 兹比尔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) 全文: 内政部
布鲁诺·库塞尔;斯蒂芬·奥拉里奥 图的团宽度的上限。 (英语) 兹比尔0958.05105 离散应用程序。数学。 101,编号1-3,77-114(2000). 审核人:迈克尔·雷恩斯(卡拉马祖) MSC公司:05C70号 05C35号 05C78号 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{S.Olariu},离散应用。数学。101,编号1-3,77-114(2000;Zbl 0958.05105) 全文: 内政部
布鲁诺·库塞尔 图的一元二阶逻辑。十一: 连通图的层次分解。 (英语) Zbl 0938.03015号 西奥。计算。科学。 224,编号1-2,35-58(1999). 审核人:M.Steinby(图尔库) MSC公司:03B15号机组 03C85号 05C40号 PDF格式BibTeX公司 XML格式引用 \文本{B.库塞尔},Theor。计算。科学。224,编号1--2,35-58(1999;Zbl 0938.03015) 全文: 内政部
布鲁诺·库塞尔;伊戈尔·瓦卢基维奇 一元二阶逻辑,过渡系统的图覆盖和展开。 (英语) Zbl 0929.03036号 Ann.纯粹应用。逻辑 92,第1期,35-62(1998年). 审核人:M.Steinby(图尔库) MSC公司:03B70号 第68季度55 05C20号 03C85号 05年3月 65年第68季度 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{I.Walukiewicz},Ann.纯粹应用。逻辑92,No.1,35--62(1998;Zbl 0929.03036) 全文: 内政部
库塞尔,B。;Sénizergues,G。 由无上下文文法定义的次闭图集的障碍。 (英语) 兹伯利0889.68116 离散数学。 182,编号1-3,29-51(1998).MSC公司:68兰特 05年6月15日 05年3月 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{G.Sénizergues},离散数学。182,编号1--3,29-51(1998;Zbl 0889.68116) 全文: 内政部
布鲁诺·库塞尔 语言理论和图文法的泛代数的基本概念。 (英语) 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 1412.68167号 Cuny,J.(编辑)等人,《图形语法及其在计算机科学中的应用》。第五届国际研讨会,美国弗吉尼亚州威廉斯堡,1994年11月13日至18日。精选论文。柏林:斯普林格。莱克特。注释计算。科学。1073, 487-501 (1996).MSC公司:68兰特 03B15号机组 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},莱克特。注释计算。科学。1073487--501(1996年;Zbl 1412.68167) 全文: 内政部
库塞尔,B。;Sénizergues,G。 通过超边替换可以构造出一个次闭图集的障碍。 (英语) Zbl 1412.68102号 Cuny,J.(编辑)等人,《图形语法及其在计算机科学中的应用》。第五届国际研讨会,美国弗吉尼亚州威廉斯堡,1994年11月13日至18日。精选论文。柏林:斯普林格。莱克特。注释计算。科学。1073, 351-367 (1996).MSC公司:2012年第68季度 05C83号 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{G.Sénizergues},莱克特。注释计算。科学。1073、351--367(1996年;Zbl 1412.68102) 全文: 内政部
布鲁诺·库塞尔 图的一元二阶逻辑。十: 线性排序。 (英语) 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兰特 03年2月25日 03B15号机组 PDF格式BibTeX公司 XML格式引用 \文本{B.库塞尔},Theor。计算。科学。151,编号1,125--162(1995;Zbl 0872.03026) 全文: 内政部
库塞尔,B。;Engelfriet,J。 由超边替换文法定义的超图集的逻辑特征。 (英语) Zbl 0830.68098号 数学。系统。理论 28,第6期,515-552(1995).MSC公司:68兰特 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{J.Engelfriet},数学。系统。理论28,第6号,515--552(1995;Zbl 0830.68098)
布鲁诺·库塞尔 图的一元二阶逻辑。八: 方向。 (英语) Zbl 0830.03016号 Ann.纯粹应用。逻辑 72,第2期,第103-143页(1995年). 审核人:M.Steinby(图尔库) MSC公司:03C85号 03年2月25日 68兰特 05年6月15日 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},Ann.纯苹果。逻辑72,No.2,103--143(1995;Zbl 0830.03016) 全文: 内政部
布鲁诺·库塞尔;延斯·拉格伦 有界树宽的可识别图集。 (英语) Zbl 1494.68107号 Schneider,Hans Jürgen(编辑)等人,《计算机科学中的图形变换》。1993年1月4日至8日,德国达格斯图尔城堡国际研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。776, 138-152 (1994).MSC公司:2012年第68季度 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{J.Lagergren},莱克特。注释计算。科学。776138-152(1994年;Zbl 1494.68107) 全文: 内政部
布鲁诺·库塞尔 图的一元二阶逻辑。六: 关于图的几种关系结构表示。 (英语) Zbl 0809.03005号 离散应用程序。数学。 54,编号2-3,117-149(1994). 审核人:M.Steinby(图尔库) MSC公司:03B15号机组 05C20号 03C85号 68兰特 05C15号 05年10月 05二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},离散应用程序。数学。54,编号2--3,117-449(1994;Zbl 0809.03005) 全文: 内政部
布鲁诺·库塞尔 一元二阶可定义图转导:综述。 (英语) Zbl 0805.68077号 西奥。计算。科学。 126,第1期,第53-75页(1994年).MSC公司:65年第68季度 2012年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \文本{B.Courcelle},Theor。计算。科学。126,编号1,53--75(1994;Zbl 0805.68077) 全文: 内政部
布鲁诺·库塞尔 可识别的图集:等价定义和闭包属性。 (英语) Zbl 0798.68090号 数学。结构。计算。科学。 4,第1期,第1-32页(1994年).MSC公司:2012年第68季度 68兰特 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},数学。结构。计算。科学。4,编号1,1--32(1994;Zbl 0798.68090) 全文: 内政部
库塞尔,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) 全文: 内政部
布鲁诺·库塞尔;约斯特·恩格尔弗里特;格列泽戈兹·罗森贝格 处理重写超图文法。 (英语) Zbl 0825.68446号 J.计算。系统。科学。 46,第2期,218-270(1993).MSC公司:2012年第68季度 05年6月15日 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}等人,《计算杂志》。系统。科学。46,第2号,218--270(1993;Zbl 0825.68446) 全文: 内政部
库塞尔,B。 图的一元二阶逻辑。三: 树分解、子项和复杂性问题。 (英语) Zbl 0754.03006号 RAIRO,通知。塞奥尔。申请。 26,第3期,257-286(1992). 审核人:李翔(贵阳) MSC公司:03B15号机组 65年第68季度 2012年第68季度 03年2月25日 68兰特 05二氧化碳 05年6月15日 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},RAIRO,通知。塞奥尔。申请。26,第3号,257--286(1992;Zbl 0754.03006) 全文: 内政部 欧洲DML 链接
布鲁诺·库塞尔 图的一元二阶逻辑。七: 图作为关系结构。 (英语) Zbl 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 0722.68080号 数学。系统。理论 24,第2期,117-146(1991).MSC公司:70年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}等人,《数学》。系统。理论24,第2期,117--146(1991;Zbl 0722.68080) 全文: 内政部
布鲁诺·库塞尔 递归查询和无上下文图形语法。 (英语) 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) 全文: 内政部
布鲁诺·库塞尔 图的一元二阶逻辑。四: 等式图的可定义性。 (英语) Zbl 0731.03006号 Ann.纯粹应用。逻辑 49,第3期,193-255(1990). 审核人:李翔(贵阳) MSC公司:03年2月25日 68兰特 03C85号 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},Ann.纯苹果。逻辑49,No.3,193--255(1990;Zbl 0731.03006) 全文: 内政部
布鲁诺·库塞尔 图的一元二阶逻辑。一: 有限图的可识别集。 (英语) Zbl 0722.03008号 Inf.计算。 85,第1期,12-75页(1990年). 审核人:李翔(贵阳) MSC公司:03B15号机组 68兰特 05C75号 05年6月15日 03年2月25日 65年第68季度 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},信息计算。85,编号1,12--75(1990;Zbl 0722.03008) 全文: 内政部
布鲁诺·库塞尔 图的一元二阶逻辑:有限图的可定义集。 (英语) Zbl 07810418号 Van Leeuwen,Jan(编辑),计算机科学中的图论概念。1988年6月15日至17日,荷兰阿姆斯特丹第88届工作组第14次国际研讨会。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。344, 30-53 (1989).MSC公司:03B16号 03年2月25日 05C75号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},莱克特。注释计算。科学。344、30--53(1989年;Zbl 07810418) 全文: 内政部
布鲁诺·库塞尔 图的一元二阶逻辑。二: 宽度有界的无限图。 (英语) Zbl 0694.68043号 数学。系统。理论 21,第4期,187-221(1989). 审核人:S.布鲁姆 MSC公司:68兰特 03B15号机组 05C99年 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},数学。系统。理论21,第4期,187--221(1989;Zbl 0694.68043) 全文: 内政部
库塞尔,B。;德兰萨特,P。 属性文法部分正确性的证明,并应用于递归过程和逻辑编程。 (英语) Zbl 0719.68038号 Inf.计算。 78,第1期,1-55页(1988年). 审核人:I.游击队(巴黎) MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{P.Deransart},Inf.Comput。78,编号1,1-55(1988;Zbl 0719.68038) 全文: 内政部
库塞尔,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 0641.68115号 数学。系统。理论 20,编号2-3,83-127(1987).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bauderon}和\textit{B.Courcelle},数学。系统。理论20,No.2-3,83-127(1987;Zbl 0641.68115) 全文: 内政部
布鲁诺·库塞尔;让·H·盖利尔。 递归程序方案等价问题的可判定子类。 (英语) Zbl 0634.68017号 RAIRO,Inf.Théor公司。申请。 21, 245-286 (1987). 审核人:R.霍斯 MSC公司:68问题65 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{J.H.Gallier},RAIRO,Inform。塞奥尔。申请。21245--286(1987;Zbl 0634.68017) 全文: 内政部 欧洲DML
布鲁诺·库塞尔 正则系统的等价和转换-递归程序方案和语法的应用。 (英语) Zbl 0636.68104号 西奥。计算。科学。 42, 1-122 (1986). 审核人:A.V.阿尼西莫夫 MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{B.库塞尔},Theor。计算。科学。42、1-122(1986年;Zbl 0636.68104) 全文: 内政部
布鲁诺·库塞尔 关于DPDA的一些负面结果。 (英语) Zbl 0564.68058号 Inf.流程。莱特。 18, 285-289 (1984). 审核人:U.克莱姆 MSC公司:65年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},Inf.过程。莱特。18、285--289(1984年;Zbl 0564.68058) 全文: 内政部
库塞尔,B。;拉文迪尔,F。 Dédefinitions récurives par cas的定义。 (法语) Zbl 0562.68004号 泰奥尔新闻,拉伊罗。 18, 91-129 (1984). 审核人:C.冷静 MSC公司:68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{F.Lavandier},RAIRO,Inf.Théor。18、91——129(1984年;Zbl 0562.68004) 全文: 欧洲DML
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) 全文: 内政部
布鲁诺·库塞尔 Korenjak-Hopcroft算法的公理化方法。 (英语) Zbl 0581.68032号 数学。系统。理论 191-231年6月16日(1983年). 审核人:G.斯拉茨基 MSC公司:68瓦99 65年第68季度 60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},数学。系统。理论16,191--231(1983;Zbl 0581.68032) 全文: 内政部
布鲁诺·库塞尔 无限树的基本性质。 (英语) Zbl 0521.68013号 西奥。计算。科学。 25, 95-169 (1983).MSC公司:68号01 60年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \文本{B.库塞尔},Theor。计算。科学。25、95——169(1983年;Zbl 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) 全文: 内政部
布鲁诺·库塞尔 两个等效DPDA的两种配置的同时可访问性。 (英语) Zbl 0459.68019号 Inf.流程。莱特。 12, 111-114 (1981).MSC公司:2005年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},Inf.过程。莱特。12111--114(1981;Zbl 0459.68019) 全文: 内政部
布鲁诺·库塞尔 正规形式的无限树和具有唯一解的递归方程。 (英语) 兹伯利0418.68013 数学。系统。理论 13, 131-180 (1979).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},数学。系统。理论13,131--180(1979;Zbl 0418.68013) 全文: 内政部
布鲁诺·库塞尔 Arbres infinis和systèmes d’équations。 (法语) Zbl 0406.68017号 泰奥尔新闻,拉伊罗。 13, 31-48 (1979).MSC公司:60年第68季度 18B20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},RAIRO,Inf.Théor(信息科技)。13、31——48(1979年;Zbl 0406.68017) 全文: 欧洲DML
布鲁诺·库塞尔 用语言表示树。二、。 (英语) 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) 全文: 内政部
库塞尔,B。 无限树木的前沿。 (英语) Zbl 0411.68065号 泰奥尔新闻,拉伊罗。 12, 319-337 (1978).MSC公司:65年第68季度 18A30型 18B99型 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},RAIRO,Inf.Théor。12、319--337(1978;Zbl 0411.68065) 全文: 欧洲DML
布鲁诺·库塞尔;艾琳·盖萨里安 关于某些类别的解释。 (英语) Zbl 0392.68009号 J.计算。系统。科学。 1788-113(1978年).MSC公司:60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{I.Guessarian},J.Compute。系统。科学。17、388--413(1978年;Zbl 0392.68009) 全文: 内政部
布鲁诺·库塞尔 用语言表示树。一、。 (英语) Zbl 0377.68040号 西奥。计算。科学。 6, 255-279 (1978).MSC公司:65年第68季度 65年第68季度 05二氧化碳 PDF格式BibTeX公司 XML格式引用 \文本{B.库塞尔},Theor。计算。科学。6255-279(1978年;Zbl 0377.68040) 全文: 内政部
布鲁诺·库塞尔;让·武伊勒明 完整性是递归模式等价的结果。 (英语) Zbl 0342.68008号 J.计算。系统。科学。 12, 179-197 (1976).MSC公司:65年第68季度 68号01 1999年3月 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{J.Vuillemin},J.Compute。系统。科学。12、179--197(1976年;Zbl 0342.68008) 全文: 内政部