×

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

开发闭合关键对。 (英语) Zbl 1407.68244号

Dowek,Gilles(编辑)等人,《高阶代数、逻辑和术语重写》。第二次国际研讨会,1995年9月21日至22日,德国帕德博恩,HOA'95。精选论文。柏林:斯普林格。莱克特。注释计算。科学。1074, 185-200 (1996).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

图文法和Petri网之间的形式关系。 (英语) 兹比尔1412.68108

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

筛选结果依据…

文档类型

软件