×

找到80个文档(结果1-80)

正则性等于拟树的一元二阶可定义性。 (英语) Zbl 1465.03072号

Beklemishev,Lev D.(编辑)等人,《逻辑与计算领域II》。尤里·古雷维奇75岁生日之际献给他的散文。查姆:施普林格。莱克特。注释计算。科学。9300, 129-141 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

曲线的共同结构具有相同的高斯词。 (英语) 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格式引用
全文: 内政部 哈尔

图的一元二阶逻辑:算法和语言理论应用。 (英语) 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格式引用
全文: 内政部

描述等级宽度和平衡图表达式的图形操作。 (英语) Zbl 1141.68523号

Brandstädt,Andreas(编辑)等人,《计算机科学中的图论概念》。2007年6月21日至23日在德国多恩堡举行的2007年工作组第33届国际研讨会。修订论文。柏林:施普林格出版社(ISBN 978-3-540-74838-0/pbk)。计算机科学课堂讲稿4769,66-75(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

图运算、图变换和一元二阶逻辑:综述。 (英语) Zbl 1263.68071号

Bauderon,Michel(编辑)等人,GETGRATS图形转换系统闭幕研讨会,法国波尔多,2001年6月22日至23日。诉讼程序。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记51,122-126(2002)。
MSC公司:2012年第68季度 03B15号机组
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有序图的模分解在一元二阶逻辑中的定义。 (英语) Zbl 1412.68167号

Cuny,J.(编辑)等人,《图形语法及其在计算机科学中的应用》。第五届国际研讨会,美国弗吉尼亚州威廉斯堡,1994年11月13日至18日。精选论文。柏林:斯普林格。莱克特。注释计算。科学。1073, 487-501 (1996).
MSC公司:68兰特 03B15号机组 05年3月
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过超边替换可以构造出一个次闭图集的障碍。 (英语) Zbl 1412.68102号

Cuny,J.(编辑)等人,《图形语法及其在计算机科学中的应用》。第五届国际研讨会,美国弗吉尼亚州威廉斯堡,1994年11月13日至18日。精选论文。柏林:斯普林格。莱克特。注释计算。科学。1073, 351-367 (1996).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有界树宽的可识别图集。 (英语) Zbl 1494.68107号

Schneider,Hans Jürgen(编辑)等人,《计算机科学中的图形变换》。1993年1月4日至8日,德国达格斯图尔城堡国际研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。776, 138-152 (1994).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

图的一元二阶逻辑:有限图的可定义集。 (英语) Zbl 07810418号

Van Leeuwen,Jan(编辑),计算机科学中的图论概念。1988年6月15日至17日,荷兰阿姆斯特丹第88届工作组第14次国际研讨会。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。344, 30-53 (1989).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份