×

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

树状语法和分离逻辑。 (英语) 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)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

图文法、一元二阶逻辑和图子理论。 (英语) 兹比尔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格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份

软件