×

找到424个文档(结果1-100)

两位布尔基的自动机复杂性。 (英语。俄文原件) Zbl 0862.68082号

离散数学。申请。 6,第6号,599-610(1996); 从Diskretn翻译。材料8,第4号,123-134(1996)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于最小源的合成。 (英语。俄文原件) Zbl 0862.68081号

离散数学。申请。 第6期,第6541-547号(1996年); 从Diskretn翻译。Mat.8,No.4,37-43(1996)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于特殊自动机函数系统完备性问题的可判定性。 (英语。俄文原件) Zbl 0870.03014号

离散数学。申请。 6,第5期,491-504(1996); 从Diskretn翻译。材料8,第4号,79-91(1996年)。
MSC公司:05年3月 65年第68季度 03B25号 94立方厘米10
PDF格式BibTeX公司 XML格式引用
全文: 内政部

充满的归纳结构。 (英语) Zbl 0938.18005号

Adámek,J.(编辑)等人,《研讨会领域II》,德国布伦瑞克,1996年5月3日至5日。布伦瑞克:TU Braunschweig,Inf.-Ber。,布伦瑞克理工大学。96-04, 195-216 (1996).
PDF格式BibTeX公司 XML格式引用

公理化(完整)扩展PER。 (英语) Zbl 0938.18004号

Adámek,J.(编辑)等人,《研讨会领域II》,德国布伦瑞克,1996年5月3日至5日。布伦瑞克:TU Braunschweig,Inf.-Ber。,布伦瑞克理工大学。96-04, 175-194 (1996).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件