克里斯托夫·马提亚;克里斯蒂娜·詹森;诺尔,托马斯 树状语法和分离逻辑。 (英语) Zbl 1329.68154号 冯新余(主编)等,《程序设计语言与系统》。2015年11月30日至12月2日,第13届亚洲研讨会,APLAS,韩国浦项。诉讼程序。查姆:施普林格(ISBN 978-3-319-26528-5/pbk;978-3-3169-26529-2/电子书)。计算机科学课堂讲稿9458,90-108(2015)。MSC公司:2012年第68季度 03B70号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{C.Matheja}等人,Lect。注释计算。科学。9458、90-108(2015年;Zbl 1329.68154) 全文: 内政部
Bensch,苏娜;法兰克·德雷维斯;赫尔穆特·尤根森;范德默韦,布林克 增量自然语言分析的图形转换。 (英语) Zbl 1359.68278号 西奥。计算。科学。 531,1-25(2014).MSC公司:68T50型 03B65号 2012年第68季度 91层20 PDF格式BibTeX公司 XML格式引用 \textit{S.Bensch}等人,Theor。计算。科学。531,1--25(2014;Zbl 1359.68278) 全文: 内政部
布鲁诺·库塞尔;韦尔·帕斯卡 图集的可识别性是一个稳健的性质。 (英语) 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。;Sénizergues,G。 由无上下文文法定义的次闭图集的障碍。 (英语) Zbl 0889.68116号 离散数学。 182,编号1-3,29-51(1998).MSC公司:68兰特 05C65号 05年3月 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{G.Sénizergues},离散数学。182,编号1--3,29-51(1998;Zbl 0889.68116) 全文: 内政部
布鲁诺·库塞尔 图文法、一元二阶逻辑和图子理论。 (英语) 兹比尔0787.05086 Robertson,Neil(编辑)等,图结构理论。1991年6月22日至7月5日在华盛顿大学西雅图(美国)举行的AMS-IMS-SIAM未成年人图形联合夏季研究会议记录。普罗维登斯,RI:美国数学学会。康斯坦普。数学。147565-590(1993年)。MSC公司:05C99年 68兰特 2012年第68季度 05C75号 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},康斯坦普。数学。147、565--590(1993年;Zbl 0787.05086)
库塞尔,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 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) 全文: 内政部
布鲁诺·库塞尔 图文法、一元二阶逻辑和图子理论。 (英语) 兹比尔0757.68072 牛市。EATCS公司 46, 193-226 (1992).MSC公司:2012年第68季度 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},公牛。EATCS 46、193--226(1992;Zbl 0757.68072)
布鲁诺·库塞尔 图作为关系结构:代数和逻辑方法。 (英语) Zbl 0765.68085号 图形文法及其在计算机科学中的应用。第四届国际研讨会,不来梅/德国。1990年,法律。注释计算。科学。532, 238-252 (1991).MSC公司:2012年第68季度 08A02号 05C65号 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},莱克特。注释计算。科学。532、238--252(1991年;Zbl 0765.68085)